diff options
Diffstat (limited to 'metadata/pkg_desc_index')
-rw-r--r-- | metadata/pkg_desc_index | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index index 190c30af0479..67d0fafb80ed 100644 --- a/metadata/pkg_desc_index +++ b/metadata/pkg_desc_index @@ -16770,7 +16770,7 @@ sci-mathematics/bertini 1.4: Software for Numerical Algebraic Geometry sci-mathematics/calc 2.12.5.4 2.13.0.1: Arbitrary precision C-like arithmetic system sci-mathematics/cgal 5.1-r2 5.2-r2 5.2.1-r2 5.2.2-r1: C++ library for geometric algorithms and data structures sci-mathematics/cliquer 1.21 1.22: C routines for finding cliques in an arbitrary weighted graph -sci-mathematics/coq 8.11.2 8.12.0-r1 8.13.0: Proof assistant written in O'Caml +sci-mathematics/coq 8.11.2 8.11.2-r1 8.12.0-r1 8.12.0-r2 8.13.0 8.13.0-r1: Proof assistant written in O'Caml sci-mathematics/cvc4 1.7-r1 1.8: Automatic theorem prover for satisfiability modulo theories (SMT) problems sci-mathematics/dataplot 20131220: Program for scientific visualization and statistical analyis sci-mathematics/diagrtb 2.64: Calculation of some eigenvectors of a large real, symmetrical, matrix @@ -16877,7 +16877,7 @@ sci-physics/reduze 2.4: Program for reducing Feynman integrals sci-physics/root 6.22.08-r2 6.24.02-r1 6.24.9999 9999: C++ data analysis framework and interpreter from CERN sci-physics/sassena 1.4.2: Software for Calculating Scattering Diagrams on Massively Parallel Computers sci-physics/siscone 3.0.5: Hadron Seedless Infrared-Safe Cone jet algorithm -sci-physics/thepeg 2.0.4: Toolkit for High Energy Physics Event Generation +sci-physics/thepeg 2.0.4-r1 2.2.2: Toolkit for High Energy Physics Event Generation sci-physics/vgm 4.8-r1 4.9-r1 9999: Virtual Geometry Model for High Energy Physics Experiments sci-physics/vmc 1.0_p3-r1 9999: The Virtual Monte Carlo core library sci-physics/xfoil 6.99: Design and analysis of subsonic isolated airfoils |