Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /gentoo-portage/metadata/md5-cache/sci-mathematics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cudd-3.0.0295 B2022-12-18 22:10:27
verit-2021.06.2320 B2022-03-10 21:39:55
gmm-5.4.2361 B2022-12-16 19:10:12
lrcalc-1.2365 B2023-06-09 15:40:46
lrcalc-2.1365 B2023-06-09 15:40:46
rw-0.9376 B2023-06-09 15:40:46
planarity-3.0.2.0383 B2023-06-09 15:40:46
gp2c-0.0.12388 B2021-12-06 07:39:52
cliquer-1.22389 B2023-11-22 22:40:40
picosat-965392 B2023-12-26 14:20:24
metamath-databases-20220303420 B2023-03-04 16:40:16
cadical-1.9.5427 B2024-03-04 22:10:50
cadical-1.9.4427 B2024-02-08 10:41:23
octave-epstk-2.4435 B2021-11-22 03:39:53
coq-mathcomp-1.19.0442 B2024-01-15 21:41:22
num-utils-0.5-r2445 B2023-06-09 15:40:46
sha1-polyml-5.9452 B2023-12-26 14:20:24
rngstreams-1.0.1455 B2023-06-09 15:40:46
dsfmt-2.2.4514 B2023-12-26 14:20:24
sympow-2.023.6517 B2023-12-26 14:20:24
ent-101202520 B2023-12-26 14:20:24
kissat-3.1.1523 B2023-12-26 14:20:24
kissat-3.1.0523 B2023-12-26 14:20:24
gmm-5.4534 B2024-02-12 16:44:54
prover9-2009.11a-r1539 B2024-02-14 17:10:59
eprover-3.0.03539 B2024-02-19 21:10:43
flocq-4.1.0-r1541 B2023-10-09 11:16:28
flocq-4.1.1541 B2023-10-09 11:16:28
lpsolve-5.5.2.11-r2543 B2024-02-02 13:11:10
eprover-3.0_pre008546 B2023-12-26 14:20:24
frobby-0.9.0-r4550 B2023-12-26 14:20:24
palp-2.21574 B2024-03-06 14:44:03
abc-9999601 B2023-12-26 14:20:24
calc-2.13.0.1608 B2023-12-26 14:20:24
otter-3.3-r4611 B2024-02-12 16:44:54
bertini-1.4613 B2024-02-12 16:44:54
jags-4.3.1635 B2023-12-26 14:20:24
jags-4.3.0635 B2023-12-26 14:20:24
abc-0_p20230313642 B2023-12-26 14:20:24
gappa-1.4.1644 B2024-01-12 15:11:34
gappa-1.4.2644 B2024-01-15 21:41:22
acl2-8.5-r2648 B2024-03-07 18:11:15
twelf-1.7.1-r2649 B2023-10-22 10:10:57
unuran-1.8.1653 B2023-06-09 15:40:46
nestedsums-1.5.2-r1660 B2024-02-12 16:44:54
bertini-1.6665 B2024-02-12 16:44:54
lcalc-2.0.5-r2669 B2022-07-16 12:40:43
mathematica-12.1.1-r1671 B2023-12-26 14:20:24
mathematica-12.2.0671 B2023-12-26 14:20:24
mathematica-10.3.1-r1671 B2023-12-26 14:20:24
mathematica-12.1.0671 B2023-12-26 14:20:24
mathematica-13.0.0676 B2023-12-26 14:20:24
normaliz-3.9.3679 B2023-12-26 14:20:24
gmp-ecm-7.0.5-r1685 B2023-12-26 14:20:24
msieve-1.53-r1688 B2023-12-26 14:20:24
spin-6.5.2-r1694 B2023-12-26 14:20:24
mathomatic-16.0.5-r1695 B2024-02-12 16:44:54
gfan-0.6.2-r4698 B2024-03-22 05:40:42
gappalib-coq-1.5.3704 B2023-10-09 11:16:28
gappalib-coq-1.5.2-r1704 B2023-10-09 11:16:28
acl2-8.5_p20240307705 B2024-03-08 12:11:20
pari-data-20191216718 B2023-06-09 15:40:46
fann-2.2.0-r1718 B2024-02-12 16:44:54
yafu-1.34.3-r1721 B2024-02-12 16:44:54
mathmod-4.1-r1728 B2023-12-26 14:20:24
fann-9999735 B2024-02-12 16:44:54
gimps-30.8.17758 B2023-12-26 14:20:24
proverif-2.05759 B2023-12-10 19:40:33
metamath-0.198765 B2024-03-24 09:42:10
proverif-9999769 B2023-12-20 14:10:55
proverif-2.04-r1773 B2023-11-02 22:40:42
plfit-0.9.3777 B2024-02-12 16:44:54
plfit-0.9.5779 B2024-03-09 13:45:12
prng-3.0.2-r3783 B2024-03-24 09:42:10
btor2tools-1.0.0_pre20220518-r1799 B2024-02-12 16:44:54
verifpal-0.27.0810 B2024-03-16 05:11:12
euler-1.61.0-r1824 B2024-03-24 09:42:10
psmt2-frontend-0.4.0828 B2023-10-09 11:16:28
kind2-1.9.0851 B2023-10-09 11:16:28
ginac-1.8.7-r1862 B2024-03-08 06:13:34
cryptominisat-5.11.15863 B2024-02-12 16:44:54
cryptominisat-5.11.21863 B2024-02-14 20:41:07
primesieve-11.0867 B2024-02-12 16:44:54
minisat-2.2.1-r1871 B2024-02-12 16:44:54
gimps-30.7.9877 B2023-12-26 14:20:24
gimps-30.8.15881 B2023-12-26 14:20:24
lean-3.51.1889 B2024-02-12 16:44:54
geogebra-bin-5.0.752.0895 B2023-03-26 12:22:20
gimps-30.19.13904 B2024-03-20 21:10:35
4ti2-1.6.7-r1910 B2024-03-24 09:42:10
smtinterpol-2.5_p20211018920 B2024-03-10 21:40:46
primecount-7.6939 B2024-02-12 16:44:54
diagrtb-2.64950 B2024-02-12 16:44:54
vampire-4.8956 B2024-02-12 16:44:54
yices2-2.6.4-r1963 B2024-03-24 09:42:10
singular-4.3.2_p10965 B2024-01-22 06:10:33
slepc-3.18.1968 B2024-03-08 06:13:34
lean-4.2.0978 B2024-03-08 06:13:34
slepc-3.16.0979 B2024-03-08 06:13:34
slepc-3.17.1979 B2024-03-08 06:13:34
arb-2.23.0989 B2024-02-12 16:44:54
normaliz-3.10.11.0 KiB2024-03-24 09:42:10
geogebra-bin-6.0.804.01.0 KiB2024-01-10 13:41:10
mathematica-13.0.11.0 KiB2024-01-08 12:14:10
slepc-3.19.11.0 KiB2024-03-08 06:13:34
slepc-3.19.01.0 KiB2024-03-08 06:13:34
geomview-1.9.5-r11.0 KiB2024-02-12 16:44:54
pari-2.15.4-r11.1 KiB2024-02-12 16:44:54
pari-2.15.51.1 KiB2024-03-12 19:10:45
nauty-2.8.81.1 KiB2024-03-24 09:42:10
nauty-2.8.8-r11.1 KiB2024-03-24 09:42:10
unuran-1.9.01.1 KiB2024-03-24 09:42:10
eclib-202312121.1 KiB2024-03-24 09:42:10
mathematica-13.2.11.1 KiB2024-01-08 12:14:10
easycrypt-2024.011.1 KiB2024-02-03 14:42:24
topcom-0.17.8-r31.1 KiB2024-03-24 09:42:10
gap-4.13.01.1 KiB2024-03-19 21:10:39
mathematica-13.1.01.1 KiB2024-01-08 12:14:10
fricas-1.3.101.1 KiB2024-01-11 10:11:21
fricas-1.3.9-r31.1 KiB2023-10-22 10:10:57
opensmt-2.5.21.1 KiB2024-02-19 15:40:41
cubicle-1.2.0-r21.1 KiB2024-03-24 09:42:10
easycrypt-2023.091.2 KiB2023-10-09 11:16:28
cgal-5.61.2 KiB2024-02-12 16:44:54
flint-2.9.01.2 KiB2024-03-08 06:13:34
wxmaxima-24.02.11.2 KiB2024-03-14 19:40:51
wxmaxima-24.02.21.2 KiB2024-03-13 05:10:53
gsl-shell-2.3.21.2 KiB2024-03-08 06:13:34
glpk-5.0-r11.2 KiB2024-03-24 09:42:10
flint-3.1.01.3 KiB2024-03-11 03:10:46
flint-3.0.11.3 KiB2024-03-08 06:13:34
alt-ergo-99991.3 KiB2023-12-20 14:10:55
alt-ergo-2.4.31.3 KiB2023-10-09 11:16:28
glpk-5.0-r21.3 KiB2024-03-24 09:42:10
dataplot-201312201.3 KiB2024-03-24 09:42:10
form-4.3.11.3 KiB2024-03-24 09:42:10
coq-serapi-0.19.01.3 KiB2024-02-05 12:06:51
form-5.0.0_beta11.4 KiB2024-03-24 09:42:10
coq-8.19.01.4 KiB2024-02-28 00:11:11
coq-8.19.11.4 KiB2024-03-04 22:10:50
singular-4.3.2_p161.4 KiB2024-03-24 09:42:10
cvc4-1.8-r51.4 KiB2024-03-08 06:13:34
mathematica-13.3.11.5 KiB2024-01-08 12:14:10
gsl-shell-2.3.51.5 KiB2024-03-15 21:11:18
pspp-1.6.2-r21.6 KiB2024-03-08 06:13:34
genius-1.0.271.6 KiB2024-03-24 09:42:10
yacas-1.9.1-r11.6 KiB2024-02-12 16:44:54
libpoly-0.1.111.6 KiB2024-03-08 06:13:34
dunshire-0.1.1-r31.7 KiB2024-03-12 05:41:54
polymake-4.111.7 KiB2024-02-12 16:44:54
gretl-2021d1.8 KiB2023-12-26 14:20:24
boolector-3.2.2_p202201101.9 KiB2024-03-08 06:13:34
giac-1.9.0.29-r11.9 KiB2024-03-24 09:42:10
stp-2.3.3-r31.9 KiB2024-03-08 06:13:34
giac-1.9.0.931.9 KiB2024-03-24 09:42:10
petsc-3.17.1-r11.9 KiB2024-03-08 06:13:34
why3-1.6.02.0 KiB2024-03-24 09:42:10
petsc-3.19.12.0 KiB2024-03-20 06:40:34
petsc-3.19.22.0 KiB2024-03-20 06:40:34
petsc-3.18.22.0 KiB2024-03-20 06:40:34
petsc-3.19.42.0 KiB2024-03-20 06:40:34
boolector-3.2.32.0 KiB2024-03-08 06:13:34
petsc-3.20.52.0 KiB2024-03-20 06:40:34
why3-for-spark-2021-r12.1 KiB2024-03-24 09:42:10
petsc-3.16.0-r12.2 KiB2024-03-08 06:13:34
z3-4.13.02.4 KiB2024-03-23 14:10:53
rkward-0.7.52.4 KiB2024-02-12 16:44:54
alectryon-1.4.0-r12.5 KiB2024-03-12 05:41:54
cadabra-2.4.4.12.8 KiB2024-03-08 06:13:34
maxima-5.46.0-r12.9 KiB2024-03-24 09:42:10
maxima-5.47.03.0 KiB2024-03-24 09:42:10
cadabra-2.4.5.43.5 KiB2024-03-08 06:13:34
octave-8.3.0-r14.3 KiB2024-03-24 09:42:10
mathlib-tools-1.3.2_p14.4 KiB2024-03-12 05:41:54
Manifest.gz28.4 KiB2024-03-24 09:42:10