summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
ModeNameSize
-rw-r--r--4ti2-1.6.2991logplain
-rw-r--r--4ti2-1.6.5993logplain
-rw-r--r--4ti2-1.6.61000logplain
-rw-r--r--4ti2-1.6.7965logplain
-rw-r--r--Macaulay2-1.7_pre2635logplain
-rw-r--r--Macaulay2-1.8.2.1-r12323logplain
-rw-r--r--agda-2.4.2.5-r24686logplain
-rw-r--r--agda-2.5.2-r15761logplain
-rw-r--r--agda-lib-ffi-0.0.2881logplain
-rw-r--r--agda-lib-ffi-0.0.2-r2914logplain
-rw-r--r--agda-stdlib-2.4.2.51257logplain
-rw-r--r--agda-stdlib-2.5.2.0.131145logplain
-rw-r--r--alt-ergo-1.30591logplain
-rw-r--r--arb-2.11.1-r1811logplain
-rw-r--r--axiom-200805730logplain
-rw-r--r--bertini-1.4501logplain
-rw-r--r--calc-2.12.2.2706logplain
-rw-r--r--calc-2.12.4.13-r1714logplain
-rw-r--r--calc-2.12.5.4569logplain
-rw-r--r--cgal-4.101669logplain
-rw-r--r--cgal-4.91689logplain
-rw-r--r--coq-8.61162logplain
-rw-r--r--coq-8.6.11169logplain
-rw-r--r--cvc3-2.4.1755logplain
-rw-r--r--cvc3-2.4.1-r1755logplain
-rw-r--r--dataplot-200908211285logplain
-rw-r--r--dataplot-201312201285logplain
-rw-r--r--diagrtb-2.641061logplain
-rw-r--r--drgeo-1.1.0-r1790logplain
-rw-r--r--dunshire-0.1.11802logplain
-rw-r--r--e-1.5507logplain
-rw-r--r--e-1.6507logplain
-rw-r--r--e-1.8507logplain
-rw-r--r--e-1.8-r1507logplain
-rw-r--r--ent-101202565logplain
-rw-r--r--euler-1.61.0950logplain
-rw-r--r--factmsieve-76-r11009logplain
-rw-r--r--fann-2.2.0-r11168logplain
-rw-r--r--fann-99991140logplain
-rw-r--r--flint-2.4.4-r1847logplain
-rw-r--r--flint-2.4.5845logplain
-rw-r--r--flint-2.5.2855logplain
-rw-r--r--form-4.1926logplain
-rw-r--r--form-4.2.0944logplain
-rw-r--r--fricas-1.3.0-r11223logplain
-rw-r--r--fricas-1.3.11159logplain
-rw-r--r--fricas-1.3.21159logplain
-rw-r--r--frobby-0.9.0-r1668logplain
-rw-r--r--frobby-0.9.0-r2523logplain
-rw-r--r--genius-1.0.211737logplain
-rw-r--r--geogebra-5.0.339.0_p2017030822067logplain
-rw-r--r--geomview-1.9.5-r11013logplain
-rw-r--r--gfan-0.5-r1693logplain
-rw-r--r--ggnfs-0.77.1-r2896logplain
-rw-r--r--gimps-28.10-r1620logplain
-rw-r--r--ginac-1.6.6931logplain
-rw-r--r--ginac-1.7.2981logplain
-rw-r--r--glpk-4.45930logplain
-rw-r--r--glpk-4.481133logplain
-rw-r--r--glpk-4.541330logplain
-rw-r--r--glpk-4.551330logplain
-rw-r--r--glpk-4.571279logplain
-rw-r--r--glpk-4.601285logplain
-rw-r--r--glpk-4.61-r11292logplain
-rw-r--r--glpk-4.631291logplain
-rw-r--r--gmm-5.1705logplain
-rw-r--r--gmp-ecm-6.4.3-r5887logplain
-rw-r--r--gmp-ecm-6.4.4-r11183logplain
-rw-r--r--gmp-ecm-99991230logplain
-rw-r--r--gretl-1.9.141639logplain
-rw-r--r--gretl-1.9.901792logplain
-rw-r--r--gsl-shell-2.3.0_beta1697logplain
-rw-r--r--gwnum-277561logplain
-rw-r--r--isabelle-2016.12837logplain
-rw-r--r--jags-3.4.0944logplain
-rw-r--r--jags-4.0.0946logplain
-rw-r--r--jags-4.1.0765logplain
-rw-r--r--jags-4.2.0763logplain
-rw-r--r--kodkod-1.5.21262logplain
-rw-r--r--kodkod-1.5.2-r11262logplain
-rw-r--r--kodkodi-1.5.21165logplain
-rw-r--r--kodkodi-1.5.2-r11155logplain
-rw-r--r--lpsolve-5.5.2.0419logplain
-rw-r--r--lybniz-1.3.2-r11234logplain
-rw-r--r--mathmod-4.1-r1853logplain
-rw-r--r--mathomatic-15.8.5728logplain
-rw-r--r--mathomatic-16.0.5786logplain
-rw-r--r--maxima-5.37.3-r42247logplain
-rw-r--r--maxima-5.38.12245logplain
-rw-r--r--maxima-5.39.02248logplain
-rw-r--r--maxima-5.40.02248logplain
-rw-r--r--maxima-5.41.02248logplain
-rw-r--r--minisat-2.2.0-r4542logplain
-rw-r--r--minisat-2.2.0_p20130925656logplain
-rw-r--r--mlpy-3.5.01733logplain
-rw-r--r--msieve-1.51813logplain
-rw-r--r--msieve-9999887logplain
-rw-r--r--nauty-2.5.9597logplain
-rw-r--r--nauty-2.6.71063logplain
-rw-r--r--nestedsums-1.5.1791logplain
-rw-r--r--normaliz-2.12.2748logplain
-rw-r--r--normaliz-3.1.1754logplain
-rw-r--r--normaliz-3.1.3767logplain
-rw-r--r--normaliz-3.3.0990logplain
-rw-r--r--num-utils-0.3365logplain
-rw-r--r--num-utils-0.5-r1670logplain
-rw-r--r--nusmv-2.6.01323logplain
-rw-r--r--octave-4.2.14112logplain
-rw-r--r--octave-epstk-2.3691logplain
-rw-r--r--octave-epstk-2.4691logplain
-rw-r--r--otter-3.3-r3517logplain
-rw-r--r--p9m4-05-r11779logplain
-rw-r--r--pari-2.3.51310logplain
-rw-r--r--pari-2.5.0-r31111logplain
-rw-r--r--pari-2.5.11111logplain
-rw-r--r--pari-2.5.1-r11163logplain
-rw-r--r--pari-2.5.21163logplain
-rw-r--r--pari-2.5.31163logplain
-rw-r--r--pari-2.5.41172logplain
-rw-r--r--pari-2.7.01184logplain
-rw-r--r--pari-2.7.11189logplain
-rw-r--r--pari-data-20120726782logplain
-rw-r--r--polymake-3.0_p21456logplain
-rw-r--r--prng-3.0.2-r2676logplain
-rw-r--r--prover9-2009.11a714logplain
-rw-r--r--pspp-0.10.11375logplain
-rw-r--r--pspp-0.10.21377logplain
-rw-r--r--pymc-2.3.63071logplain
-rw-r--r--pymc3-3.111058logplain
-rw-r--r--qtoctave-0.10.1-r11121logplain
-rw-r--r--reduce-20110414-r1791logplain
-rw-r--r--relational-2.52383logplain
-rw-r--r--rkward-0.6.5_p201704203139logplain
-rw-r--r--rngstreams-1.0.1830logplain
-rw-r--r--rstudio-0.99.473-r13649logplain
-rw-r--r--rstudio-0.99.4823649logplain
-rw-r--r--rstudio-0.99.4833649logplain
-rw-r--r--rstudio-0.99.4843649logplain
-rw-r--r--rstudio-0.99.486-r13649logplain
-rw-r--r--rstudio-0.99.4913649logplain
-rw-r--r--rstudio-0.99.8793649logplain
-rw-r--r--rstudio-0.99.8933649logplain
-rw-r--r--rstudio-0.99.8963649logplain
-rw-r--r--rstudio-0.99.9023649logplain
-rw-r--r--rstudio-0.99.9033649logplain
-rw-r--r--rstudio-1.0.1363651logplain
-rw-r--r--rstudio-1.0.1433651logplain
-rw-r--r--rstudio-1.0.1533651logplain
-rw-r--r--rstudio-1.0.443649logplain
-rw-r--r--rstudio-1.1.3683665logplain
-rw-r--r--rw-0.7-r2529logplain
-rw-r--r--sha1-polyml-5.5.0410logplain
-rw-r--r--sha1-polyml-5.6_p1402logplain
-rw-r--r--singular-3.1.62421logplain
-rw-r--r--singular-4.0.21536logplain
-rw-r--r--singular-4.0.31539logplain
-rw-r--r--snns-4.3-r21365logplain
-rw-r--r--spass-3.7774logplain
-rw-r--r--spass-3.9744logplain
-rw-r--r--spin-6.2.1748logplain
-rw-r--r--spin-6.2.3756logplain
-rw-r--r--spin-6.2.5756logplain
-rw-r--r--spin-6.4.5720logplain
-rw-r--r--topcom-0.17.7842logplain
-rw-r--r--twelf-1.7.1832logplain
-rw-r--r--unuran-1.8.11013logplain
-rw-r--r--why3-for-spark-20171328logplain
-rw-r--r--wxmaxima-15.08.21001logplain
-rw-r--r--wxmaxima-16.04.21004logplain
-rw-r--r--wxmaxima-16.12.01004logplain
-rw-r--r--wxmaxima-16.12.21004logplain
-rw-r--r--xmds-2.2.21674logplain
-rw-r--r--yacas-1.6.1-r11860logplain
-rw-r--r--yafu-1.34.3809logplain
-rw-r--r--yafu-9999901logplain
-rw-r--r--z3-4.4.11532logplain
-rw-r--r--z3-4.5.01557logplain
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-27 12:09:41 +0000