Index of /gentoo-portage-snapshots/2022-01-18-0015/metadata/md5-cache/sci-mathematics/
../
4ti2-1.6.7-r1 02-Jan-2022 11:53 840
Manifest.gz 17-Jan-2022 18:39 25005
agda-2.6.1.2 02-Jan-2022 11:53 5390
agda-stdlib-2.6.1.2.1.4 02-Jan-2022 11:53 1036
alt-ergo-2.3.0 17-Jan-2021 04:39 805
alt-ergo-2.4.1-r1 10-Jan-2022 17:40 1021
arb-2.19.0 02-Jan-2022 11:53 1100
arb-2.21.0 02-Jan-2022 11:53 1109
bertini-1.4 02-Jan-2022 11:53 735
cadical-1.5.2-r1 02-Jan-2022 11:53 403
calc-2.12.5.4 02-Jan-2022 11:53 569
calc-2.13.0.1 02-Jan-2022 11:53 578
cgal-5.1-r2 02-Jan-2022 11:53 1670
cgal-5.2-r2 02-Jan-2022 11:53 1670
cgal-5.2.1-r2 02-Jan-2022 11:53 1687
cgal-5.2.2-r1 02-Jan-2022 11:53 1677
cliquer-1.22 29-Dec-2021 14:09 387
coq-8.11.2-r1 02-Jan-2022 11:53 1060
coq-8.12.0-r2 02-Jan-2022 11:53 1058
coq-8.13.0-r1 11-Jan-2022 00:40 1033
cryptominisat-5.8.0 13-Jan-2022 12:44 1612
cvc4-1.7-r1 13-Jan-2022 12:44 1421
cvc4-1.8 13-Jan-2022 12:44 1440
dataplot-20131220 02-Jan-2022 11:53 1402
diagrtb-2.64 02-Jan-2022 11:53 1088
dsfmt-2.2.4 02-Jan-2022 11:53 490
dunshire-0.1.1-r1 16-Jan-2022 18:12 1456
easycrypt-1.0_pre20211210-r1 10-Jan-2022 17:40 1032
eclib-20210625 03-Nov-2021 10:39 645
ent-101202 02-Jan-2022 11:53 405
euler-1.61.0-r1 02-Jan-2022 11:53 754
fann-2.2.0-r1 02-Jan-2022 11:53 866
fann-9999 02-Jan-2022 11:53 860
flint-2.7.1-r1 13-Jan-2022 12:44 1372
flint-2.8.4 13-Jan-2022 12:44 1245
flintqs-1.0 06-Jan-2021 15:39 378
form-4.2.1 02-Jan-2022 11:53 1025
fricas-1.3.6 02-Jan-2022 11:53 1185
fricas-1.3.7 02-Jan-2022 11:53 1244
frobby-0.9.0-r3 02-Jan-2022 11:53 529
genius-1.0.25 02-Jan-2022 11:53 2105
genius-1.0.27 02-Jan-2022 11:53 1552
geogebra-bin-5.0.604.0-r2 31-Oct-2021 19:44 867
geomview-1.9.5-r1 02-Jan-2022 11:53 1198
gfan-0.6.2-r2 02-Jan-2022 11:53 831
gfan-0.6.2-r3 02-Jan-2022 11:53 832
giac-1.7.0.13-r1 02-Jan-2022 11:53 2002
giac-1.7.0.45 15-Jan-2022 15:40 2003
gimps-30.3.6 06-Jan-2022 09:40 762
gimps-30.5.2 06-Jan-2022 09:40 764
gimps-30.7.9 13-Jan-2022 01:10 826
ginac-1.7.11 13-Jan-2022 12:44 867
ginac-1.8.0 13-Jan-2022 12:44 868
glpk-5.0-r1 02-Jan-2022 11:53 1329
gmm-5.1 02-Jan-2022 11:53 934
gmm-5.3 02-Jan-2022 11:53 686
gmm-5.4 02-Jan-2022 11:53 515
gmp-ecm-7.0.4-r4 02-Jan-2022 11:53 1103
gp2c-0.0.12 06-Dec-2021 07:39 388
gretl-2021d 02-Jan-2022 11:53 1835
gsl-shell-2.3.0_beta1-r1 02-Jan-2022 11:53 907
jags-4.2.0 02-Jan-2022 11:53 602
jags-4.3.0 02-Jan-2022 11:53 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 06-Jan-2022 09:40 887
lean-3.37.0 08-Jan-2022 03:10 887
lean-3.9999 06-Jan-2022 09:40 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 02-Jan-2022 11:53 642
mathematica-12.1.0 02-Jan-2022 11:53 642
mathematica-12.1.1-r1 02-Jan-2022 11:53 642
mathlib-tools-1.1.0 16-Jan-2022 18:12 4009
mathmod-4.1-r1 02-Jan-2022 11:53 690
mathomatic-16.0.5 02-Jan-2022 11:53 1046
maxima-5.42.1-r1 02-Jan-2022 11:53 2660
maxima-5.44.0-r10 13-Jan-2022 12:44 3001
maxima-5.44.0-r9 13-Jan-2022 12:44 3388
maxima-5.45.1-r2 13-Jan-2022 12:44 3245
metamath-0.198 02-Jan-2022 11:53 696
minisat-2.2.1 02-Jan-2022 11:53 816
msieve-1.53-r1 02-Jan-2022 11:53 662
nauty-2.6.7 02-Jan-2022 11:53 1384
nauty-2.6.7-r1 02-Jan-2022 11:53 935
nauty-2.7.3 02-Jan-2022 11:53 983
nestedsums-1.5.2-r1 02-Jan-2022 11:53 809
normaliz-3.1.3-r1 02-Jan-2022 11:53 652
normaliz-3.8.10-r1 02-Jan-2022 11:53 876
num-utils-0.5-r2 19-Sep-2020 19:09 447
octave-5.2.0 02-Jan-2022 18:10 4253
octave-6.4.0 17-Jan-2022 17:39 4372
octave-epstk-2.4 22-Nov-2021 03:39 435
otter-3.3-r3 02-Jan-2022 11:53 744
pari-2.13.2 02-Jan-2022 11:53 1174
pari-2.13.3 02-Jan-2022 11:53 1007
pari-data-20191216 06-Jan-2021 15:39 729
petsc-3.13.1 13-Jan-2022 12:44 2242
petsc-3.14.6 13-Jan-2022 12:44 2242
petsc-3.15.0 13-Jan-2022 12:44 2320
petsc-3.15.0-r1 13-Jan-2022 12:44 2044
petsc-3.16.0 13-Jan-2022 12:44 2420
planarity-3.0.1.1 02-Nov-2021 16:09 382
polymake-4.5 02-Jan-2022 11:53 1647
primecount-7.2-r1 02-Jan-2022 11:53 881
primesieve-7.7 02-Jan-2022 11:53 841
prng-3.0.2-r3 02-Jan-2022 11:53 713
prover9-2009.11a 02-Jan-2022 11:53 515
psmt2-frontend-0.2 11-Jan-2022 00:40 941
psmt2-frontend-0.4.0 10-Jan-2022 17:40 730
pspp-1.2.0-r1 13-Jan-2022 12:44 1743
pspp-1.4.1 13-Jan-2022 12:44 1736
relational-2.5-r2 13-Jan-2022 12:44 1428
rkward-0.7.2-r1 09-Jan-2022 08:10 2322
rngstreams-1.0.1 08-Dec-2019 00:09 430
rstudio-1.3.1093-r1 02-Jan-2022 18:10 3655
rw-0.9 26-May-2021 07:09 375
sha1-polyml-5.6_p1 02-Jan-2022 11:53 402
singular-4.2.0_p1 02-Jan-2022 11:53 1210
singular-4.2.0_p3-r1 02-Jan-2022 11:53 1429
singular-4.2.1 02-Jan-2022 11:53 1434
singular-4.2.1-r1 02-Jan-2022 11:53 1397
singular-4.2.1_p3 02-Jan-2022 11:53 1411
slepc-3.13.1 13-Jan-2022 12:44 1112
slepc-3.14.2 13-Jan-2022 12:44 1112
slepc-3.15.0 13-Jan-2022 12:44 1179
slepc-3.16.0 13-Jan-2022 12:44 1179
smtinterpol-2.5_p20211018 02-Jan-2022 18:10 854
spin-6.5.2-r1 16-Jan-2022 09:10 653
stp-2.3.3-r1 13-Jan-2022 12:44 2118
sympow-2.023.6 02-Jan-2022 11:53 493
topcom-0.17.7-r1 02-Jan-2022 11:53 1104
topcom-0.17.8-r1 02-Jan-2022 11:53 1143
twelf-1.7.1-r1 02-Jan-2022 11:53 762
unuran-1.8.1 08-Dec-2019 00:09 628
vampire-4.6.1 02-Jan-2022 11:53 854
verit-2021.06.2 02-Jan-2022 11:53 705
why3-1.4.0-r2 15-Jan-2022 06:40 1853
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 02-Jan-2022 11:53 1728
why3-for-spark-2021 02-Jan-2022 11:53 1694
wxmaxima-20.12.2 02-Jan-2022 11:53 1307
wxmaxima-21.05.2 02-Jan-2022 11:53 1344
wxmaxima-21.11.0 02-Jan-2022 11:53 1344
yacas-1.7.0-r1 02-Jan-2022 11:53 1754
yafu-1.34.3-r1 02-Jan-2022 11:53 729
z3-4.8.13 16-Jan-2022 18:12 2566
z3-4.8.14 16-Jan-2022 18:12 2571