diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-03-15 07:44:14 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-03-15 07:44:14 +0000 |
commit | f543717b8260f5bc0fe89e782bdfa0ffdf218dfd (patch) | |
tree | 9a38c3e505d05986303d62f4c22399e0e42c3a5e /metadata/pkg_desc_index | |
parent | Merge updates from master (diff) | |
download | gentoo-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_index | 2 |
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 |