Index of /gentoo-portage-snapshots/2021-12-31-0015/metadata/md5-cache/sci-mathematics/
../
4ti2-1.6.7-r1 29-Dec-2021 14:09 840
Manifest.gz 29-Dec-2021 14:09 24952
agda-2.6.1.2 26-Dec-2021 00:23 5390
agda-stdlib-2.6.1.2.1.4 26-Dec-2021 00:23 1036
alt-ergo-2.3.0 17-Jan-2021 04:39 805
alt-ergo-2.4.1-r1 28-Dec-2021 14:09 1021
arb-2.19.0 26-Dec-2021 00:23 1100
arb-2.21.0 26-Dec-2021 00:23 1109
bertini-1.4 26-Dec-2021 00:23 735
cadical-1.5.2-r1 28-Dec-2021 18:09 403
calc-2.12.5.4 26-Dec-2021 00:23 569
calc-2.13.0.1 26-Dec-2021 00:23 578
cgal-5.1-r2 26-Dec-2021 00:23 1670
cgal-5.2-r2 26-Dec-2021 00:23 1670
cgal-5.2.1-r2 26-Dec-2021 00:23 1687
cgal-5.2.2-r1 26-Dec-2021 00:23 1677
cliquer-1.22 29-Dec-2021 14:09 387
coq-8.11.2-r1 26-Dec-2021 00:23 1060
coq-8.12.0-r2 26-Dec-2021 00:23 1058
coq-8.13.0-r1 26-Jul-2021 11:39 1032
cryptominisat-5.8.0 26-Dec-2021 20:10 1850
cvc4-1.7-r1 26-Dec-2021 00:23 1395
cvc4-1.8 26-Dec-2021 00:23 1414
dataplot-20131220 26-Dec-2021 00:23 1402
diagrtb-2.64 26-Dec-2021 00:23 1088
dsfmt-2.2.4 26-Dec-2021 00:23 490
dunshire-0.1.1-r1 27-Dec-2021 17:11 1576
easycrypt-1.0_pre20211210-r1 17-Dec-2021 01:10 1032
eclib-20210625 03-Nov-2021 10:39 645
ent-101202 26-Dec-2021 00:23 405
euler-1.61.0-r1 26-Dec-2021 00:23 754
fann-2.2.0-r1 26-Dec-2021 00:23 866
fann-9999 26-Dec-2021 00:23 860
flint-2.7.1-r1 26-Dec-2021 00:23 1346
flint-2.8.4 26-Dec-2021 00:23 1204
flintqs-1.0 06-Jan-2021 15:39 378
form-4.2.1 26-Dec-2021 00:23 1025
fricas-1.3.6 26-Dec-2021 00:23 1185
fricas-1.3.7 26-Dec-2021 00:23 1244
frobby-0.9.0-r3 26-Dec-2021 00:23 529
genius-1.0.25 26-Dec-2021 00:23 2105
genius-1.0.27 26-Dec-2021 00:23 1552
geogebra-bin-5.0.604.0-r2 31-Oct-2021 19:44 867
geomview-1.9.5-r1 26-Dec-2021 00:23 1198
gfan-0.6.2-r2 26-Dec-2021 00:23 831
gfan-0.6.2-r3 26-Dec-2021 00:23 832
giac-1.7.0.13-r1 26-Dec-2021 00:23 2002
gimps-30.3.6 26-Dec-2021 00:23 762
gimps-30.5.2 26-Dec-2021 00:23 764
gimps-30.7.9 26-Dec-2021 00:23 716
ginac-1.7.11 26-Dec-2021 00:23 841
ginac-1.8.0 26-Dec-2021 00:23 842
glpk-5.0-r1 26-Dec-2021 00:23 1329
gmm-5.1 26-Dec-2021 00:23 934
gmm-5.3 26-Dec-2021 00:23 686
gmm-5.4 26-Dec-2021 00:23 515
gmp-ecm-7.0.4-r4 26-Dec-2021 00:23 1103
gp2c-0.0.12 06-Dec-2021 07:39 388
gretl-2021d 26-Dec-2021 00:23 1835
gsl-shell-2.3.0_beta1-r1 26-Dec-2021 00:23 907
jags-4.2.0 26-Dec-2021 00:23 602
jags-4.3.0 26-Dec-2021 00:23 612
lcalc-2.0.3 02-Nov-2021 12:40 556
lcalc-2.0.5 21-Dec-2021 15:10 557
lean-3.35.1-r2 26-Dec-2021 00:23 887
lean-3.9999 26-Dec-2021 00:23 849
lpsolve-5.5.2.0 19-Nov-2021 00:09 419
lrcalc-1.2 06-Jan-2021 15:39 364
lrcalc-2.1 13-Dec-2021 14:39 366
mathematica-10.3.1-r1 26-Dec-2021 00:23 642
mathematica-12.1.0 26-Dec-2021 00:23 642
mathematica-12.1.1-r1 26-Dec-2021 00:23 642
mathlib-tools-1.1.0 27-Dec-2021 17:11 4126
mathmod-4.1-r1 26-Dec-2021 00:23 690
mathomatic-16.0.5 26-Dec-2021 00:23 1046
maxima-5.42.1-r1 26-Dec-2021 00:23 2660
maxima-5.44.0-r10 26-Dec-2021 00:23 3077
maxima-5.44.0-r9 26-Dec-2021 00:23 3502
maxima-5.45.1-r2 26-Dec-2021 00:23 3405
metamath-0.198 26-Dec-2021 00:23 696
minisat-2.2.0_p20130925-r1 26-Dec-2021 00:23 656
minisat-2.2.1 26-Dec-2021 16:10 816
msieve-1.53-r1 26-Dec-2021 00:23 662
nauty-2.6.7 26-Dec-2021 00:23 1384
nauty-2.6.7-r1 26-Dec-2021 00:23 935
nauty-2.7.3 29-Dec-2021 14:09 983
nestedsums-1.5.2-r1 26-Dec-2021 00:23 809
normaliz-3.1.3-r1 26-Dec-2021 00:23 652
normaliz-3.8.10-r1 29-Dec-2021 14:09 876
num-utils-0.5-r2 19-Sep-2020 19:09 447
octave-5.2.0 28-Dec-2021 08:39 4267
octave-6.2.0 28-Dec-2021 08:39 4369
octave-6.3.0 28-Dec-2021 08:39 4376
octave-epstk-2.4 22-Nov-2021 03:39 435
otter-3.3-r3 26-Dec-2021 00:23 744
pari-2.13.2 26-Dec-2021 00:23 1174
pari-2.13.3 26-Dec-2021 00:23 1007
pari-data-20191216 06-Jan-2021 15:39 729
petsc-3.13.1 26-Dec-2021 00:23 2227
petsc-3.14.6 26-Dec-2021 00:23 2227
petsc-3.15.0 26-Dec-2021 00:23 2279
petsc-3.16.0 26-Dec-2021 00:23 2379
planarity-3.0.1.1 02-Nov-2021 16:09 382
polymake-4.5 29-Dec-2021 14:09 1647
primecount-7.2-r1 26-Dec-2021 15:10 881
primesieve-7.7 26-Dec-2021 00:40 841
prng-3.0.2-r3 26-Dec-2021 00:23 713
prover9-2009.11a 26-Dec-2021 00:23 515
psmt2-frontend-0.2 26-Dec-2021 00:23 940
psmt2-frontend-0.4.0 28-Dec-2021 00:10 730
pspp-1.2.0-r1 26-Dec-2021 00:23 1717
pspp-1.4.1 26-Dec-2021 00:23 1710
relational-2.5-r2 26-Dec-2021 00:23 1588
rkward-0.7.2 26-Dec-2021 00:23 2547
rngstreams-1.0.1 08-Dec-2019 00:09 430
rstudio-1.3.1093-r1 28-Dec-2021 08:39 3669
rw-0.9 26-May-2021 07:09 375
sha1-polyml-5.6_p1 26-Dec-2021 00:23 402
singular-4.2.0_p1 26-Dec-2021 00:23 1210
singular-4.2.0_p3-r1 26-Dec-2021 00:23 1429
singular-4.2.1 26-Dec-2021 00:23 1434
singular-4.2.1-r1 26-Dec-2021 00:23 1397
singular-4.2.1_p3 29-Dec-2021 14:09 1406
slepc-3.13.1 26-Dec-2021 00:23 1097
slepc-3.14.2 26-Dec-2021 00:23 1097
slepc-3.15.0 26-Dec-2021 00:23 1138
slepc-3.16.0 26-Dec-2021 00:23 1138
smtinterpol-2.5_p20211018 28-Dec-2021 18:09 873
spin-6.5.2 26-Dec-2021 00:23 653
stp-2.3.3-r1 27-Dec-2021 13:40 2356
sympow-2.023.6 26-Dec-2021 00:23 493
topcom-0.17.7-r1 26-Dec-2021 00:23 1104
topcom-0.17.8-r1 29-Dec-2021 14:09 1143
twelf-1.7.1-r1 26-Dec-2021 00:23 762
unuran-1.8.1 08-Dec-2019 00:09 628
vampire-4.6.1 26-Dec-2021 00:23 854
verit-2021.06.2 26-Dec-2021 00:23 705
why3-1.4.0-r1 26-Dec-2021 00:23 1822
why3-for-spark-2018 18-Sep-2021 17:09 1083
why3-for-spark-2019-r2 17-Jan-2021 04:39 1195
why3-for-spark-2020 26-Dec-2021 00:23 1728
why3-for-spark-2021 26-Dec-2021 00:23 1694
wxmaxima-20.12.2 26-Dec-2021 00:23 1307
wxmaxima-21.05.2 26-Dec-2021 00:23 1344
wxmaxima-21.11.0 26-Dec-2021 00:23 1344
yacas-1.7.0-r1 26-Dec-2021 00:23 1754
yafu-1.34.3-r1 26-Dec-2021 00:23 729
z3-4.8.11b 28-Dec-2021 08:39 2819
z3-4.8.13 28-Dec-2021 08:39 2823
z3-4.8.14 28-Dec-2021 08:39 2823