summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2019-03-15 07:44:14 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2019-03-15 07:44:14 +0000
commitf543717b8260f5bc0fe89e782bdfa0ffdf218dfd (patch)
tree9a38c3e505d05986303d62f4c22399e0e42c3a5e /metadata/pkg_desc_index
parentMerge updates from master (diff)
downloadgentoo-f543717b8260f5bc0fe89e782bdfa0ffdf218dfd.tar.gz
gentoo-f543717b8260f5bc0fe89e782bdfa0ffdf218dfd.tar.bz2
gentoo-f543717b8260f5bc0fe89e782bdfa0ffdf218dfd.zip
2019-03-15 07:44:13 UTC
Diffstat (limited to 'metadata/pkg_desc_index')
-rw-r--r--metadata/pkg_desc_index2
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index 84317c15324b..871d1a3c3675 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -9530,7 +9530,7 @@ sci-mathematics/rngstreams 1.0.1: Multiple independent streams of pseudo-random
sci-mathematics/singular 3.1.6 4.0.2: Computer algebra system for polynomial computations
sci-mathematics/snns 4.3-r2: Stuttgart Neural Network Simulator
sci-mathematics/unuran 1.8.1: Universal Non-Uniform Random number generator
-sci-mathematics/why3-for-spark 2017 2018: Platform for deductive program verification
+sci-mathematics/why3-for-spark 2018: Platform for deductive program verification
sci-mathematics/wxmaxima 15.08.2: Graphical frontend to Maxima, using the wxWidgets toolkit
sci-mathematics/xmds 2.2.2: XMDS - The eXtensible Multi-Dimensional Simulator
sci-misc/nco 4.5.1-r2: Command line utilities for operating on netCDF files