Index of /mirror/gentoo-portage/metadata/md5-cache/sci-mathematics
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
4ti2-1.6.2 2020-05-25 23:27 1.1K
4ti2-1.6.5 2020-05-25 23:27 1.1K
4ti2-1.6.6 2020-05-25 23:27 1.1K
4ti2-1.6.7 2020-05-25 23:27 813
![[ ]](/icons/compressed.gif)
Manifest.gz 2020-06-04 15:39 22K
agda-2.4.2.5-r2 2020-05-25 23:27 4.7K
agda-2.5.2-r1 2020-05-25 23:27 5.8K
agda-2.5.2-r2 2020-05-25 23:27 5.4K
agda-lib-ffi-0.0.2 2020-05-25 23:27 1.0K
agda-lib-ffi-0.0.2-r2 2020-05-25 23:27 1.0K
agda-stdlib-2.4.2.5 2020-05-25 23:27 1.4K
agda-stdlib-2.5.2.0.13 2020-05-25 23:27 1.2K
alt-ergo-1.30 2019-09-12 08:39 603
alt-ergo-2.3.0 2020-05-27 08:09 803
arb-2.17.0 2020-05-25 23:27 659
axiom-200805 2020-05-25 23:27 861
bertini-1.4 2020-05-25 23:27 501
calc-2.12.4.13-r1 2020-05-25 23:27 845
calc-2.12.5.4 2020-05-25 23:27 569
cgal-4.11.3 2020-05-25 23:27 1.8K
cliquer-1.21 2020-03-25 18:09 375
coq-8.6.1-r1 2020-05-25 23:27 1.3K
coq-8.9.1-r1 2020-05-25 23:27 932
coq-8.9.1-r2 2020-05-25 23:27 953
cvc4-1.6 2020-02-22 23:40 498
cvc4-1.7 2020-05-25 23:27 1.1K
dataplot-20090821 2020-05-25 23:27 1.4K
dataplot-20131220 2020-05-25 23:27 1.4K
diagrtb-2.64 2020-05-25 23:27 1.2K
dunshire-0.1.1-r1 2020-06-01 08:10 2.4K
![[TXT]](/icons/text.gif)
eclib-20190909 2020-03-25 18:09 664
ent-101202 2020-05-25 23:27 696
euler-1.61.0 2020-05-25 23:27 1.1K
fann-2.2.0-r1 2020-05-25 23:27 1.0K
fann-9999 2020-05-25 23:27 1.0K
flint-2.5.2-r1 2020-05-25 23:27 687
flintqs-1.0 2020-04-19 20:39 389
form-4.1 2020-05-25 23:27 931
form-4.2.0 2020-05-25 23:27 948
form-4.2.1 2020-05-25 23:27 1.0K
fricas-1.3.4 2020-05-25 23:27 1.2K
fricas-1.3.5 2020-05-25 23:27 1.2K
fricas-1.3.6 2020-05-25 23:27 1.2K
frobby-0.9.0-r2 2020-05-25 23:27 523
genius-1.0.23 2020-05-25 23:27 1.8K
genius-1.0.25 2020-05-25 23:27 1.9K
geogebra-5.0.339.0_p..> 2020-05-25 23:27 22K
geomview-1.9.5-r1 2020-05-25 23:27 1.2K
gfan-0.6.2 2020-05-25 23:27 694
ggnfs-0.77.1-r2 2020-05-25 23:27 1.0K
gimps-29.8.6-r1 2020-05-26 14:09 673
ginac-1.6.6 2020-05-25 23:27 1.0K
ginac-1.7.2 2020-05-25 23:27 1.1K
ginac-1.7.4 2020-05-25 23:27 685
ginac-1.7.8 2020-05-25 23:27 685
glpk-4.65 2020-05-25 23:27 1.2K
gmm-5.1 2020-05-25 23:27 803
gmm-5.3 2020-05-25 23:27 555
gmp-ecm-7.0.4-r2 2020-05-25 23:27 675
gmp-ecm-9999 2020-05-29 11:09 1.2K
gp2c-0.0.11.2-r1 2020-02-28 14:39 389
gp2c-0.0.11.3 2020-03-06 16:09 390
gretl-1.9.14 2020-05-25 23:27 1.8K
gretl-1.9.90 2020-05-25 23:27 1.9K
gsl-shell-2.3.0_beta1 2020-05-25 23:27 697
jags-3.4.0 2020-05-25 23:27 1.0K
jags-4.0.0 2020-05-25 23:27 1.1K
jags-4.1.0 2020-05-25 23:27 896
jags-4.2.0 2020-05-25 23:27 894
lpsolve-5.5.2.0 2019-07-31 01:09 418
lrcalc-1.2 2020-03-02 14:39 375
mathmod-4.1-r1 2020-05-25 23:27 730
mathomatic-15.8.5 2020-05-25 23:27 858
mathomatic-16.0.5 2020-05-25 23:27 917
maxima-5.38.1 2020-05-25 23:27 2.4K
maxima-5.42.1 2020-05-25 23:27 2.4K
maxima-5.42.2 2020-05-25 23:27 2.4K
maxima-5.43.2 2020-05-25 23:27 2.5K
minisat-2.2.0-r4 2020-05-25 23:27 542
minisat-2.2.0_p20130..> 2020-05-25 23:27 656
msieve-1.51-r1 2020-05-25 23:27 928
msieve-1.53-r1 2020-05-25 23:27 666
msieve-9999 2020-05-29 11:09 950
nauty-2.5.9 2020-02-22 23:40 385
nauty-2.6.7 2020-05-25 23:27 968
nestedsums-1.5.2 2020-05-25 23:27 665
normaliz-2.12.2 2020-05-25 23:27 879
normaliz-3.1.1 2020-05-25 23:27 885
normaliz-3.1.3 2020-05-25 23:27 646
normaliz-3.3.0 2020-05-25 23:27 1.1K
num-utils-0.5-r1 2020-05-25 23:27 801
octave-5.2.0 2020-06-04 08:39 4.1K
octave-epstk-2.4 2020-05-25 23:27 822
otter-3.3-r3 2020-05-25 23:27 517
pari-2.11.2 2020-05-25 23:27 1.0K
pari-2.11.4 2020-05-25 23:27 1.0K
pari-data-20191216 2020-02-24 15:09 740
petsc-3.13.0 2020-05-25 23:27 2.0K
petsc-3.13.1 2020-05-25 23:27 2.0K
planarity-3.0.0.5 2020-03-24 21:09 368
polymake-3.0_p2 2020-05-25 23:27 1.5K
prng-3.0.2-r2 2020-05-25 23:27 679
prover9-2009.11a 2020-05-25 23:27 555
psmt2-frontend-0.2 2020-05-27 21:09 865
pspp-1.2.0 2020-05-25 23:27 1.6K
pymc3-3.1-r1 2020-06-01 08:10 3.8K
relational-2.5-r2 2020-05-25 23:27 1.9K
rkward-0.7.1b 2020-05-26 13:09 2.4K
rngstreams-1.0.1 2019-12-08 02:09 430
rstudio-1.2.5033 2020-05-25 23:27 3.6K
rstudio-1.2.5042 2020-05-25 23:27 3.6K
rstudio-1.3.959 2020-05-25 23:27 3.6K
rw-0.8-r2 2020-05-25 23:27 738
rw-0.8-r3 2020-05-27 01:39 748
sha1-polyml-5.5.0 2020-05-25 23:27 410
sha1-polyml-5.6_p1 2020-05-25 23:27 402
singular-4.0.2 2020-05-25 23:27 1.7K
singular-4.0.3 2020-05-25 23:27 1.7K
slepc-3.13.1 2020-05-25 23:27 910
spin-6.4.5 2020-05-25 23:27 851
sympow-2.023.6 2020-05-25 23:27 494
topcom-0.17.7 2020-05-25 23:27 1.0K
twelf-1.7.1 2020-05-25 23:27 1.0K
twelf-1.7.1-r1 2020-05-25 23:27 1.0K
unuran-1.8.1 2019-12-08 02:09 628
why3-for-spark-2018 2020-05-25 23:27 1.4K
why3-for-spark-2019 2020-05-25 23:27 1.4K
why3-for-spark-2019-r1 2020-05-25 23:27 1.5K
wxmaxima-18.11.4 2020-05-25 23:27 1.3K
wxmaxima-20.01.1 2020-05-25 23:27 1.1K
wxmaxima-20.01.3 2020-05-25 23:27 1.1K
wxmaxima-20.02.4 2020-05-25 23:27 1.1K
wxmaxima-20.04.0 2020-05-25 23:27 1.1K
yacas-1.7.0-r1 2020-05-25 23:27 1.6K
yafu-1.34.3 2020-05-25 23:27 940
yafu-9999 2020-05-29 11:09 1.0K
z3-4.8.6 2020-05-25 23:27 2.5K
z3-4.8.8 2020-05-25 23:27 2.5K