summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--4ti2-1.6.2983logplain
-rw-r--r--4ti2-1.6.5985logplain
-rw-r--r--4ti2-1.6.6992logplain
-rw-r--r--Macaulay2-1.7_pre2551logplain
-rw-r--r--Macaulay2-1.8.2.1-r12238logplain
-rw-r--r--agda-2.4.2.5-r24735logplain
-rw-r--r--agda-executable-2.3.0.1-r11038logplain
-rw-r--r--agda-executable-2.3.0.1-r21081logplain
-rw-r--r--agda-lib-ffi-0.0.21002logplain
-rw-r--r--agda-lib-ffi-0.0.2-r21035logplain
-rw-r--r--agda-stdlib-2.4.2.51342logplain
-rw-r--r--axiom-200805686logplain
-rw-r--r--bertini-1.4582logplain
-rw-r--r--cado-nfs-1.1931logplain
-rw-r--r--cado-nfs-2.0921logplain
-rw-r--r--cado-nfs-2.1940logplain
-rw-r--r--cado-nfs-2.1.1942logplain
-rw-r--r--cado-nfs-2.2.01705logplain
-rw-r--r--calc-2.12.2.2649logplain
-rw-r--r--calc-2.12.4.13-r1669logplain
-rw-r--r--calc-2.12.5.4646logplain
-rw-r--r--cgal-4.31343logplain
-rw-r--r--cgal-4.3-r11343logplain
-rw-r--r--cgal-4.8-r11589logplain
-rw-r--r--coq-8.4_p51131logplain
-rw-r--r--coq-8.4_p61134logplain
-rw-r--r--coq-8.51090logplain
-rw-r--r--coq-8.5_p11096logplain
-rw-r--r--cvc3-2.4.1875logplain
-rw-r--r--dataplot-200908211229logplain
-rw-r--r--dataplot-201312201229logplain
-rw-r--r--diagrtb-2.64989logplain
-rw-r--r--drgeo-1.1.0810logplain
-rw-r--r--e-1.5588logplain
-rw-r--r--e-1.6588logplain
-rw-r--r--e-1.8588logplain
-rw-r--r--ent-101202495logplain
-rw-r--r--euler-1.61.0942logplain
-rw-r--r--factmsieve-76651logplain
-rw-r--r--fann-2.1.0_beta-r1977logplain
-rw-r--r--fann-2.2.0767logplain
-rw-r--r--fann-9999745logplain
-rw-r--r--flint-2.3559logplain
-rw-r--r--flint-2.4.3759logplain
-rw-r--r--flint-2.4.4-r1818logplain
-rw-r--r--flint-2.4.5816logplain
-rw-r--r--flint-2.5.2804logplain
-rw-r--r--form-4.1972logplain
-rw-r--r--freemat-4.21501logplain
-rw-r--r--fricas-1.2.7-r31281logplain
-rw-r--r--frobby-0.9.0-r1612logplain
-rw-r--r--genius-1.0.171731logplain
-rw-r--r--genius-1.0.191731logplain
-rw-r--r--geogebra-4.1.120.0561logplain
-rw-r--r--geomview-1.9.5999logplain
-rw-r--r--gfan-0.5623logplain
-rw-r--r--ggnfs-0.77.1-r2856logplain
-rw-r--r--gimps-28.7633logplain
-rw-r--r--gimps-28.9635logplain
-rw-r--r--ginac-1.5.8680logplain
-rw-r--r--ginac-1.6.1721logplain
-rw-r--r--ginac-1.6.2922logplain
-rw-r--r--ginac-1.6.6897logplain
-rw-r--r--glpk-4.45876logplain
-rw-r--r--glpk-4.481111logplain
-rw-r--r--glpk-4.541308logplain
-rw-r--r--glpk-4.551308logplain
-rw-r--r--glpk-4.571190logplain
-rw-r--r--gmm-4.2411logplain
-rw-r--r--gmm-5.0415logplain
-rw-r--r--gmp-ecm-6.4.3-r5844logplain
-rw-r--r--gmp-ecm-6.4.4-r11108logplain
-rw-r--r--gmp-ecm-99991200logplain
-rw-r--r--gretl-1.9.141639logplain
-rw-r--r--gretl-1.9.901778logplain
-rw-r--r--gsl-shell-2.2.0793logplain
-rw-r--r--gwnum-277491logplain
-rw-r--r--isabelle-20152420logplain
-rw-r--r--jags-3.4.0908logplain
-rw-r--r--jags-4.0.0910logplain
-rw-r--r--jags-4.1.0711logplain
-rw-r--r--jags-4.2.0711logplain
-rw-r--r--kodkod-1.5.21170logplain
-rw-r--r--kodkodi-1.5.21190logplain
-rw-r--r--lpsolve-5.5.2.0464logplain
-rw-r--r--lybniz-1.3.2716logplain
-rw-r--r--mathmod-4.1-r1813logplain
-rw-r--r--mathomatic-15.8.5669logplain
-rw-r--r--mathomatic-16.0.1696logplain
-rw-r--r--mathomatic-16.0.5696logplain
-rw-r--r--maxima-5.34.12130logplain
-rw-r--r--maxima-5.37.3-r42212logplain
-rw-r--r--maxima-5.38.12213logplain
-rw-r--r--minisat-2.1.0654logplain
-rw-r--r--minisat-2.2.0-r3655logplain
-rw-r--r--mlpy-3.5.01716logplain
-rw-r--r--msieve-1.51756logplain
-rw-r--r--msieve-9999875logplain
-rw-r--r--nauty-2.5.9538logplain
-rw-r--r--nestedsums-1.4.12-r1519logplain
-rw-r--r--normaliz-2.12.2692logplain
-rw-r--r--normaliz-3.1.0692logplain
-rw-r--r--normaliz-3.1.1692logplain
-rw-r--r--num-utils-0.3416logplain
-rw-r--r--num-utils-0.5-r1615logplain
-rw-r--r--nusmv-2.3.1750logplain
-rw-r--r--nusmv-2.5.0750logplain
-rw-r--r--nusmv-2.5.2756logplain
-rw-r--r--nusmv-2.5.3756logplain
-rw-r--r--nusmv-2.5.4756logplain
-rw-r--r--octave-3.6.42704logplain
-rw-r--r--octave-3.6.4-r12738logplain
-rw-r--r--octave-3.8.13335logplain
-rw-r--r--octave-3.8.1-r13532logplain
-rw-r--r--octave-3.8.23541logplain
-rw-r--r--octave-4.0.03699logplain
-rw-r--r--octave-4.0.0-r13699logplain
-rw-r--r--octave-4.0.13699logplain
-rw-r--r--octave-4.0.1-r13699logplain
-rw-r--r--octave-4.0.2-r13699logplain
-rw-r--r--octave-epstk-2.3621logplain
-rw-r--r--octave-epstk-2.4621logplain
-rw-r--r--otter-3.3-r1467logplain
-rw-r--r--otter-3.3-r2632logplain
-rw-r--r--p9m4-05-r11714logplain
-rw-r--r--pari-2.3.51281logplain
-rw-r--r--pari-2.5.0-r31082logplain
-rw-r--r--pari-2.5.11082logplain
-rw-r--r--pari-2.5.1-r11134logplain
-rw-r--r--pari-2.5.21134logplain
-rw-r--r--pari-2.5.31134logplain
-rw-r--r--pari-2.5.41143logplain
-rw-r--r--pari-2.7.01155logplain
-rw-r--r--pari-2.7.11160logplain
-rw-r--r--pari-data-20120726819logplain
-rw-r--r--polymake-2.13954logplain
-rw-r--r--polymake-2.14952logplain
-rw-r--r--polymake-2.14-r11435logplain
-rw-r--r--prng-3.0.2891logplain
-rw-r--r--prng-3.0.2-r1770logplain
-rw-r--r--prover9-2009.11a658logplain
-rw-r--r--pspp-0.10.11351logplain
-rw-r--r--pspp-0.8.1-r11680logplain
-rw-r--r--pspp-0.8.31714logplain
-rw-r--r--pymc-2.2878logplain
-rw-r--r--pymc-9999763logplain
-rw-r--r--qtoctave-0.10.1-r11039logplain
-rw-r--r--reduce-20110414-r1869logplain
-rw-r--r--relational-0.11720logplain
-rw-r--r--relational-2.42461logplain
-rw-r--r--rkward-0.6.13165logplain
-rw-r--r--rngstreams-1.0.1815logplain
-rw-r--r--rstudio-0.97.3362187logplain
-rw-r--r--rstudio-0.97.5512187logplain
-rw-r--r--rstudio-0.98.10282492logplain
-rw-r--r--rstudio-0.98.10912805logplain
-rw-r--r--rstudio-0.98.4902210logplain
-rw-r--r--rstudio-0.98.490-r11983logplain
-rw-r--r--rstudio-0.98.9322644logplain
-rw-r--r--rstudio-0.98.9532684logplain
-rw-r--r--rstudio-0.99.473-r13641logplain
-rw-r--r--rstudio-0.99.4823641logplain
-rw-r--r--rstudio-0.99.4833641logplain
-rw-r--r--rstudio-0.99.4843641logplain
-rw-r--r--rstudio-0.99.486-r13641logplain
-rw-r--r--rstudio-0.99.4913641logplain
-rw-r--r--rstudio-0.99.8793641logplain
-rw-r--r--rstudio-0.99.8933560logplain
-rw-r--r--rstudio-0.99.8963560logplain
-rw-r--r--rstudio-0.99.9023560logplain
-rw-r--r--rw-0.7949logplain
-rw-r--r--sha1-polyml-5.5.0486logplain
-rw-r--r--singular-3.1.61617logplain
-rw-r--r--singular-4.0.21487logplain
-rw-r--r--snns-4.2-r81104logplain
-rw-r--r--snns-4.2-r9978logplain
-rw-r--r--snns-4.3-r21284logplain
-rw-r--r--spass-3.7732logplain
-rw-r--r--spin-6.2.1678logplain
-rw-r--r--spin-6.2.3700logplain
-rw-r--r--spin-6.2.5700logplain
-rw-r--r--spin-6.4.5664logplain
-rw-r--r--topcom-0.17.4-r11189logplain
-rw-r--r--twelf-1.7.1804logplain
-rw-r--r--unuran-1.8.1991logplain
-rw-r--r--wxmaxima-13.04.2987logplain
-rw-r--r--wxmaxima-15.08.2989logplain
-rw-r--r--wxmaxima-16.04.1992logplain
-rw-r--r--xmds-1.6.5645logplain
-rw-r--r--xmds-1.6.6625logplain
-rw-r--r--yacas-1.3.21134logplain
-rw-r--r--yacas-1.3.31161logplain
-rw-r--r--yacas-1.3.41255logplain
-rw-r--r--yafu-1.34.3752logplain
-rw-r--r--yafu-9999889logplain