From 7412c8644cc12375d22374165fb344c10745771a Mon Sep 17 00:00:00 2001 From: Jerry James Date: Mon, 7 Jul 2014 10:01:11 -0600 Subject: [PATCH] Add 4ti2, azove, cvc4, flocq, frama-c, gappa, gappalib-coq, genus2reduction, jnormaliz, latte-integrale, linbox, normaliz, polymake, python-theano, qepcad-B, sympy, TOPCOM, why, and why3 to engineering-and-scientific. --- comps-f21.xml.in | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/comps-f21.xml.in b/comps-f21.xml.in index c3a0c9c9..db7e0b81 100644 --- a/comps-f21.xml.in +++ b/comps-f21.xml.in @@ -2251,11 +2251,13 @@ units wxMaxima xfig + 4ti2 alt-ergo alt-ergo-gui atlas automaton automaton-javadoc + azove blas bliss bowtie @@ -2279,6 +2281,7 @@ cvc3-doc cvc3-emacs cvc3-xemacs + cvc4 dx dx-samples E @@ -2287,12 +2290,17 @@ fastx_toolkit fflas-ffpack-devel flint + flocq + frama-c freefem++ gabedit galculator gap + gappa + gappalib-coq gdl genius + genus2reduction geomview gfan ginac @@ -2313,13 +2321,16 @@ hdf5 hmmer jmol + jnormaliz kpolynome kst lagan lapack + latte-integrale libctl libmatheval libtcd + linbox ltl2ba Macaulay2 malaga @@ -2336,6 +2347,7 @@ nco ncview netcdf + normaliz openbabel opencv paraview @@ -2345,14 +2357,17 @@ polybori polybori-gui polybori-ipbori + polymake pvm pvs-sbcl pypop python-biopython python-cvxopt python-networkx + python-theano qalculate-gtk qalculate-kde + qepcad-B qtoctave root routino @@ -2363,15 +2378,19 @@ stix-math-fonts stp symmetrica + sympy tcd-utils TeXmacs tgif tideEditor + TOPCOM vaspview veusz vinci wgrib wgrib2 + why + why3 wise2 wvs-data xdrawchem