You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

…
..
4ti2-1.6.2	…
4ti2-1.6.5	…
4ti2-1.6.6	…
4ti2-1.6.7	…
Manifest.gz	…
agda-2.4.2.5-r2	…
agda-2.5.2-r1	…
agda-2.5.2-r2	…
agda-lib-ffi-0.0.2	…
agda-lib-ffi-0.0.2-r2	…
agda-stdlib-2.4.2.5	…
agda-stdlib-2.5.2.0.13	…
alt-ergo-1.30	…
alt-ergo-2.3.0	…
arb-2.17.0	…
arb-2.18.0	…
axiom-200805	…
bertini-1.4	…
calc-2.12.4.13-r1	…
calc-2.12.5.4	…
cgal-4.11.3	…
cliquer-1.21	…
coq-8.6.1-r1	…
coq-8.9.1-r1	…
coq-8.9.1-r2	…
cvc4-1.6	…
cvc4-1.7	…
dataplot-20090821	…
dataplot-20131220	…
diagrtb-2.64	…
dunshire-0.1.1-r1	…
eclib-20190909	…
ent-101202	…
euler-1.61.0	…
fann-2.2.0-r1	…
fann-9999	…
flint-2.5.2-r1	…
flint-2.6.0	…
flintqs-1.0	…
form-4.1	…
form-4.2.0	…
form-4.2.1	…
fricas-1.3.4	…
fricas-1.3.5	…
fricas-1.3.6	…
frobby-0.9.0-r2	…
genius-1.0.23	…
genius-1.0.25	…
geogebra-5.0.339.0_p20170308-r1	…
geomview-1.9.5-r1	…
gfan-0.6.2	…
ggnfs-0.77.1-r2	…
gimps-29.8.6-r1	…
ginac-1.6.6	…
ginac-1.7.2	…
ginac-1.7.4	…
ginac-1.7.8	…
glpk-4.65	…
gmm-5.1	…
gmm-5.3	…
gmp-ecm-7.0.4-r2	…
gmp-ecm-9999	…
gp2c-0.0.11.2-r1	…
gp2c-0.0.11.3	…
gretl-1.9.14	…
gretl-1.9.90	…
gsl-shell-2.3.0_beta1	…
jags-3.4.0	…
jags-4.0.0	…
jags-4.1.0	…
jags-4.2.0	…
lpsolve-5.5.2.0	…
lrcalc-1.2	…
mathematica-10.3.1-r1	…
mathematica-12.1.1	…
mathmod-4.1-r1	…
mathomatic-16.0.5	…
maxima-5.38.1	…
maxima-5.42.1	…
maxima-5.42.2	…
maxima-5.43.2	…
maxima-5.44.0	…
minisat-2.2.0-r4	…
minisat-2.2.0_p20130925-r1	…
msieve-1.51-r1	…
msieve-1.53-r1	…
msieve-9999	…
nauty-2.5.9	…
nauty-2.6.7	…
nestedsums-1.5.2	…
normaliz-2.12.2	…
normaliz-3.1.1	…
normaliz-3.1.3	…
normaliz-3.3.0	…
num-utils-0.5-r1	…
octave-5.2.0	…
octave-epstk-2.4	…
otter-3.3-r3	…
pari-2.11.2	…
pari-2.11.4	…
pari-data-20191216	…
petsc-3.13.0	…
petsc-3.13.1	…
planarity-3.0.0.5	…
polymake-3.0_p2	…
prng-3.0.2-r2	…
prover9-2009.11a	…
psmt2-frontend-0.2	…
pspp-1.2.0	…
pymc3-3.1-r1	…
relational-2.5-r2	…
rkward-0.7.1b	…
rngstreams-1.0.1	…
rstudio-1.2.5033	…
rstudio-1.2.5042	…
rstudio-1.3.959	…
rw-0.8-r3	…
sha1-polyml-5.5.0	…
sha1-polyml-5.6_p1	…
singular-4.0.2	…
singular-4.0.3	…
slepc-3.13.1	…
spin-6.4.5	…
sympow-2.023.6	…
topcom-0.17.7	…
twelf-1.7.1	…
twelf-1.7.1-r1	…
unuran-1.8.1	…
why3-for-spark-2018	…
why3-for-spark-2019	…
why3-for-spark-2019-r1	…
why3-for-spark-2019-r2	…
wxmaxima-18.11.4	…
wxmaxima-20.01.1	…
wxmaxima-20.01.3	…
wxmaxima-20.02.4	…
wxmaxima-20.04.0	…
wxmaxima-20.06.6	…
yacas-1.7.0-r1	…
yafu-1.34.3	…
yafu-9999	…
z3-4.8.6	…
z3-4.8.8	…