../ | | - | Directory |
4ti2-1.6.2 | 2019-Nov-27 01:26:45 | 1.1K | application/octet-stream |
4ti2-1.6.5 | 2019-Nov-27 01:26:45 | 1.1K | application/octet-stream |
4ti2-1.6.6 | 2019-Nov-27 01:26:45 | 1.1K | application/octet-stream |
4ti2-1.6.7 | 2019-Nov-09 19:42:18 | 0.8K | application/octet-stream |
Manifest.gz | 2020-Feb-01 15:09:43 | 22.3K | application/gzip |
agda-2.4.2.5-r2 | 2020-Jan-30 03:40:36 | 4.7K | application/octet-stream |
agda-2.5.2-r1 | 2020-Jan-30 03:40:36 | 5.7K | application/octet-stream |
agda-2.5.2-r2 | 2020-Jan-30 03:40:36 | 5.4K | application/octet-stream |
agda-lib-ffi-0.0.2 | 2020-Jan-30 03:40:36 | 0.9K | application/octet-stream |
agda-lib-ffi-0.0.2-r2 | 2020-Jan-30 03:40:36 | 1.0K | application/octet-stream |
agda-stdlib-2.4.2.5 | 2020-Jan-30 03:40:36 | 1.3K | application/octet-stream |
agda-stdlib-2.5.2.0.13 | 2020-Jan-30 03:40:36 | 1.2K | application/octet-stream |
alt-ergo-1.30 | 2019-Sep-12 12:09:38 | 0.6K | application/octet-stream |
alt-ergo-2.3.0 | 2019-Oct-29 03:09:32 | 0.7K | application/octet-stream |
arb-2.11.1-r1 | 2019-Nov-27 01:26:45 | 0.9K | application/octet-stream |
arb-2.16.0 | 2019-Nov-27 01:26:45 | 0.9K | application/octet-stream |
axiom-200805 | 2020-Jan-27 04:46:26 | 0.8K | application/octet-stream |
bertini-1.4 | 2019-Nov-07 05:01:01 | 0.5K | application/octet-stream |
calc-2.12.4.13-r1 | 2019-Nov-27 01:26:45 | 0.8K | application/octet-stream |
calc-2.12.5.4 | 2019-Nov-07 05:01:01 | 0.5K | application/octet-stream |
cgal-4.11.3 | 2020-Jan-27 04:46:26 | 1.7K | application/octet-stream |
cliquer-1.21 | 2020-Jan-31 21:39:41 | 0.3K | application/octet-stream |
coq-8.6.1-r1 | 2019-Nov-27 01:26:45 | 1.2K | application/octet-stream |
coq-8.9.1-r1 | 2019-Nov-24 06:39:36 | 0.9K | application/octet-stream |
coq-8.9.1-r2 | 2020-Jan-08 02:39:35 | 0.9K | application/octet-stream |
cvc4-1.6 | 2018-Jul-18 12:09:37 | 0.4K | application/octet-stream |
cvc4-1.7 | 2020-Jan-27 04:46:26 | 1.0K | application/octet-stream |
dataplot-20090821 | 2020-Jan-10 06:10:38 | 1.3K | application/octet-stream |
dataplot-20131220 | 2020-Jan-10 06:10:38 | 1.3K | application/octet-stream |
diagrtb-2.64 | 2020-Jan-27 04:46:26 | 1.1K | application/octet-stream |
dunshire-0.1.1 | 2020-Jan-17 11:42:33 | 1.7K | application/octet-stream |
eclib-20190909 | 2019-Dec-30 20:09:49 | 0.6K | application/octet-stream |
ent-101202 | 2019-Nov-27 01:26:45 | 0.6K | application/octet-stream |
euler-1.61.0 | 2019-Nov-27 01:26:45 | 1.0K | application/octet-stream |
fann-2.2.0-r1 | 2020-Jan-27 04:46:26 | 1.0K | application/octet-stream |
fann-9999 | 2020-Jan-27 04:46:26 | 1.0K | application/octet-stream |
flint-2.4.4-r1 | 2019-Dec-12 22:39:49 | 0.9K | application/octet-stream |
flint-2.4.5 | 2019-Dec-12 22:39:49 | 0.9K | application/octet-stream |
flint-2.5.2 | 2019-Dec-12 22:39:49 | 0.9K | application/octet-stream |
form-4.1 | 2019-Nov-09 19:42:18 | 0.9K | application/octet-stream |
form-4.2.0 | 2019-Nov-09 19:42:18 | 0.9K | application/octet-stream |
form-4.2.1 | 2020-Feb-01 15:09:43 | 0.9K | application/octet-stream |
fricas-1.3.4 | 2020-Jan-15 22:09:44 | 1.2K | application/octet-stream |
fricas-1.3.5 | 2020-Jan-15 22:09:44 | 1.2K | application/octet-stream |
frobby-0.9.0-r2 | 2019-Nov-07 05:01:01 | 0.5K | application/octet-stream |
genius-1.0.23 | 2019-Nov-27 01:26:45 | 1.8K | application/octet-stream |
geogebra-5.0.339.0_p20170308-r1 | 2019-Dec-12 19:10:19 | 21.9K | application/octet-stream |
geomview-1.9.5-r1 | 2020-Jan-27 04:46:26 | 1.1K | application/octet-stream |
gfan-0.5-r1 | 2019-Nov-07 05:01:01 | 0.5K | application/octet-stream |
ggnfs-0.77.1-r2 | 2019-Nov-27 01:26:45 | 1.0K | application/octet-stream |
gimps-29.8.6 | 2019-Nov-07 05:01:01 | 0.6K | application/octet-stream |
ginac-1.6.6 | 2019-Nov-27 01:26:45 | 1.0K | application/octet-stream |
ginac-1.7.2 | 2020-Jan-27 04:46:26 | 1.0K | application/octet-stream |
ginac-1.7.4 | 2020-Jan-27 04:46:26 | 0.6K | application/octet-stream |
ginac-1.7.8 | 2020-Feb-01 15:09:43 | 0.6K | application/octet-stream |
glpk-4.63 | 2020-Jan-27 04:46:26 | 1.3K | application/octet-stream |
gmm-5.1 | 2020-Jan-27 04:46:26 | 0.8K | application/octet-stream |
gmm-5.3 | 2020-Jan-27 04:46:26 | 0.5K | application/octet-stream |
gmp-ecm-6.4.4-r1 | 2020-Jan-27 04:46:26 | 1.2K | application/octet-stream |
gmp-ecm-7.0.4-r1 | 2020-Jan-27 04:46:26 | 1.2K | application/octet-stream |
gmp-ecm-9999 | 2020-Jan-27 04:46:26 | 1.2K | application/octet-stream |
gp2c-0.0.11.2-r1 | 2019-Dec-29 23:09:48 | 0.3K | application/octet-stream |
gretl-1.9.14 | 2019-Dec-22 16:39:53 | 1.8K | application/octet-stream |
gretl-1.9.90 | 2019-Dec-22 16:39:53 | 1.9K | application/octet-stream |
gsl-shell-2.3.0_beta1 | 2019-Nov-07 05:01:01 | 0.6K | application/octet-stream |
jags-3.4.0 | 2019-Nov-27 01:26:45 | 1.0K | application/octet-stream |
jags-4.0.0 | 2019-Nov-27 01:26:45 | 1.0K | application/octet-stream |
jags-4.1.0 | 2019-Nov-27 01:26:45 | 0.8K | application/octet-stream |
jags-4.2.0 | 2019-Nov-27 01:26:45 | 0.8K | application/octet-stream |
lpsolve-5.5.2.0 | 2019-Jul-31 04:39:54 | 0.4K | application/octet-stream |
lrcalc-1.2 | 2020-Jan-13 16:09:49 | 0.3K | application/octet-stream |
mathmod-4.1-r1 | 2019-Dec-03 05:10:23 | 0.9K | application/octet-stream |
mathomatic-15.8.5 | 2020-Jan-27 04:46:26 | 0.8K | application/octet-stream |
mathomatic-16.0.5 | 2020-Jan-27 04:46:26 | 0.9K | application/octet-stream |
maxima-5.38.1 | 2019-Dec-22 16:39:53 | 2.3K | application/octet-stream |
maxima-5.42.1 | 2019-Dec-22 16:39:53 | 2.4K | application/octet-stream |
maxima-5.42.2 | 2019-Dec-22 16:39:53 | 2.4K | application/octet-stream |
maxima-5.43.2 | 2020-Jan-30 21:39:43 | 2.5K | application/octet-stream |
minisat-2.2.0-r4 | 2019-Nov-07 05:01:01 | 0.5K | application/octet-stream |
minisat-2.2.0_p20130925-r1 | 2019-Nov-07 05:01:01 | 0.6K | application/octet-stream |
msieve-1.51-r1 | 2019-Dec-11 18:09:59 | 0.9K | application/octet-stream |
msieve-1.53-r1 | 2019-Dec-11 18:09:59 | 0.6K | application/octet-stream |
msieve-9999 | 2020-Jan-10 03:39:43 | 0.9K | application/octet-stream |
nauty-2.5.9 | 2019-Nov-27 01:26:45 | 0.3K | application/octet-stream |
nauty-2.6.7 | 2019-Dec-11 05:11:56 | 0.9K | application/octet-stream |
nestedsums-1.5.2 | 2020-Feb-01 15:09:43 | 0.6K | application/octet-stream |
normaliz-2.12.2 | 2019-Nov-27 01:26:45 | 0.8K | application/octet-stream |
normaliz-3.1.1 | 2019-Nov-27 01:26:45 | 0.8K | application/octet-stream |
normaliz-3.1.3 | 2019-Nov-27 01:26:45 | 0.6K | application/octet-stream |
normaliz-3.3.0 | 2019-Nov-27 01:26:45 | 1.1K | application/octet-stream |
num-utils-0.5-r1 | 2019-Nov-27 01:26:45 | 0.8K | application/octet-stream |
octave-4.2.2 | 2020-Jan-27 04:46:26 | 4.1K | application/octet-stream |
octave-4.4.0 | 2020-Jan-27 04:46:26 | 4.3K | application/octet-stream |
octave-4.4.1 | 2020-Jan-27 04:46:26 | 4.3K | application/octet-stream |
octave-5.1.0 | 2020-Jan-27 04:46:26 | 4.3K | application/octet-stream |
octave-epstk-2.4 | 2019-Nov-27 01:26:45 | 0.8K | application/octet-stream |
otter-3.3-r3 | 2019-Nov-07 05:01:01 | 0.5K | application/octet-stream |
pari-2.11.2 | 2020-Jan-27 04:46:26 | 1.0K | application/octet-stream |
pari-2.9.4-r1 | 2020-Jan-27 04:46:26 | 1.2K | application/octet-stream |
pari-data-20191216 | 2019-Dec-17 04:39:34 | 0.7K | application/octet-stream |
petsc-3.11.3 | 2020-Jan-27 04:46:26 | 1.9K | application/octet-stream |
petsc-3.12.1 | 2020-Jan-27 04:46:26 | 1.9K | application/octet-stream |
planarity-3.0.0.5 | 2020-Jan-30 06:39:49 | 0.3K | application/octet-stream |
polymake-3.0_p2 | 2020-Jan-27 04:46:26 | 1.5K | application/octet-stream |
prng-3.0.2-r2 | 2020-Jan-13 16:09:49 | 0.6K | application/octet-stream |
prover9-2009.11a | 2020-Jan-07 06:09:37 | 0.5K | application/octet-stream |
psmt2-frontend-0.2 | 2019-Dec-13 21:09:54 | 0.8K | application/octet-stream |
pspp-1.2.0 | 2019-Dec-22 16:39:53 | 1.6K | application/octet-stream |
pymc3-3.1 | 2020-Jan-17 11:42:33 | 4.3K | application/octet-stream |
relational-2.5 | 2020-Jan-05 16:45:37 | 1.3K | application/octet-stream |
rkward-0.7.0b | 2020-Jan-27 04:46:26 | 2.8K | application/octet-stream |
rkward-0.7.1 | 2020-Jan-27 04:46:26 | 2.4K | application/octet-stream |
rngstreams-1.0.1 | 2019-Dec-08 05:39:32 | 0.4K | application/octet-stream |
rstudio-1.1.463-r1 | 2020-Jan-27 04:46:26 | 3.6K | application/octet-stream |
rstudio-1.2.1335 | 2020-Jan-27 04:46:26 | 3.6K | application/octet-stream |
rstudio-1.2.5033 | 2020-Jan-27 04:46:26 | 3.6K | application/octet-stream |
rw-0.8-r1 | 2019-Nov-09 19:42:18 | 0.8K | application/octet-stream |
sha1-polyml-5.5.0 | 2019-Nov-07 05:01:01 | 0.4K | application/octet-stream |
sha1-polyml-5.6_p1 | 2019-Nov-07 05:01:01 | 0.4K | application/octet-stream |
singular-4.0.2 | 2020-Jan-27 04:46:26 | 1.7K | application/octet-stream |
singular-4.0.3 | 2020-Jan-27 04:46:26 | 1.7K | application/octet-stream |
slepc-3.11.1 | 2020-Jan-27 04:46:26 | 0.8K | application/octet-stream |
slepc-3.12.1 | 2020-Jan-27 04:46:26 | 0.8K | application/octet-stream |
spin-6.4.5 | 2019-Nov-27 01:26:45 | 0.8K | application/octet-stream |
topcom-0.17.7 | 2020-Jan-27 04:46:26 | 0.9K | application/octet-stream |
twelf-1.7.1 | 2019-Dec-22 16:39:53 | 1.0K | application/octet-stream |
twelf-1.7.1-r1 | 2019-Dec-22 16:39:53 | 1.0K | application/octet-stream |
unuran-1.8.1 | 2019-Dec-08 05:39:32 | 0.6K | application/octet-stream |
why3-for-spark-2018 | 2019-Dec-21 04:39:48 | 1.3K | application/octet-stream |
why3-for-spark-2019 | 2019-Dec-21 04:39:48 | 1.3K | application/octet-stream |
why3-for-spark-2019-r1 | 2020-Jan-17 16:39:45 | 1.4K | application/octet-stream |
wxmaxima-18.11.4 | 2020-Jan-27 04:46:26 | 1.3K | application/octet-stream |
wxmaxima-20.01.1 | 2020-Jan-27 04:46:26 | 1.1K | application/octet-stream |
wxmaxima-20.01.3 | 2020-Jan-30 21:39:43 | 1.1K | application/octet-stream |
yacas-1.7.0-r1 | 2020-Jan-27 04:46:26 | 1.5K | application/octet-stream |
yafu-1.34.3 | 2019-Nov-27 01:26:45 | 0.9K | application/octet-stream |
yafu-9999 | 2020-Jan-10 03:39:43 | 1.0K | application/octet-stream |
z3-4.8.6 | 2020-Jan-27 04:46:26 | 3.0K | application/octet-stream |