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 /pub/mirrors/gentoo-portage/metadata/md5-cache/sci-mathematics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
4ti2-1.6.101008 B2025-03-10 23:12:59
4ti2-1.6.7-r1910 B2025-03-07 06:59:07
Manifest.gz32.5 KiB2025-03-11 21:11:29
abc-0_p20230313642 B2025-02-16 19:22:53
abc-9999601 B2025-02-16 19:22:53
acl2-8.5_p20240307-r1689 B2025-03-01 15:06:18
alectryon-1.4.0-r22.5 KiB2025-02-20 10:41:30
alt-ergo-2.4.3-r21.3 KiB2025-02-15 14:41:44
arb-2.23.0989 B2025-02-16 19:22:53
bertini-1.4613 B2025-02-16 19:22:53
bertini-1.6665 B2025-02-16 19:22:53
boolector-3.2.32.0 KiB2025-02-16 19:22:53
boolector-3.2.42.2 KiB2025-02-16 19:22:53
btor2tools-1.0.0_pre20220518-r1799 B2025-02-16 19:22:53
cadabra-2.4.5.43.6 KiB2025-02-16 19:22:53
cadabra-2.4.5.63.6 KiB2025-02-16 19:22:53
cadabra-2.4.5.73.6 KiB2025-02-16 19:22:53
cadical-1.9.5427 B2025-02-16 19:22:53
cadical-2.0.0465 B2025-02-19 07:41:16
calc-2.13.0.1608 B2025-02-16 19:22:53
cgal-5.61.2 KiB2025-02-16 19:22:53
cgal-5.6.11.2 KiB2025-02-16 19:22:53
cgal-6.01.2 KiB2025-02-16 19:22:53
cgal-6.0.11.2 KiB2025-03-10 23:12:59
clipper2-1.4.0792 B2025-02-16 19:22:53
cliquer-1.22389 B2023-11-22 22:40:40
coq-8.17.1-r11.4 KiB2025-03-11 21:11:29
coq-8.19.2-r11.4 KiB2025-03-11 21:11:29
coq-8.20.0-r11.4 KiB2025-03-11 21:11:29
coq-mathcomp-1.19.0442 B2024-01-15 21:41:22
coq-serapi-0.20.01.3 KiB2024-12-16 19:11:38
cryptominisat-5.11.21-r12.7 KiB2025-02-16 19:22:53
cubicle-1.2.0-r21.1 KiB2025-03-07 06:59:07
cudd-3.0.0295 B2022-12-18 22:10:27
cvc4-1.8-r51.4 KiB2025-02-16 19:22:53
dataplot-201312201.3 KiB2025-03-07 06:59:07
diagrtb-2.64950 B2025-02-16 19:22:53
dsfmt-2.2.4514 B2025-02-16 19:22:53
dunshire-0.1.3-r12.1 KiB2025-02-16 19:22:53
easycrypt-2024.091.1 KiB2024-10-08 15:52:45
easycrypt-2025.021.1 KiB2025-02-16 22:41:04
eclib-202312121.1 KiB2025-03-07 06:59:07
eclib-202404081.1 KiB2025-03-07 06:59:07
eclib-20250122654 B2025-01-31 21:41:17
ent-101202520 B2025-02-16 19:22:53
eprover-3.0.03539 B2025-02-16 19:22:53
eprover-3.0_pre008546 B2025-02-16 19:22:53
euler-1.61.0-r1837 B2025-03-07 06:59:07
fann-2.2.0-r1731 B2025-02-16 19:22:53
fann-9999735 B2025-02-16 19:22:53
flint-3.1.3_p1-r11.3 KiB2025-02-16 19:22:53
flint-3.1.3_p1-r31.1 KiB2025-02-16 19:22:53
flocq-4.1.0-r1541 B2024-10-08 15:52:45
flocq-4.1.1541 B2024-10-08 15:52:45
flocq-4.2.1541 B2025-02-16 22:41:04
form-4.3.11.3 KiB2025-03-07 06:59:07
form-5.0.0_beta11.4 KiB2025-03-07 06:59:07
fricas-1.3.11-r31.4 KiB2024-12-16 19:11:38
frobby-0.9.0-r4550 B2025-02-16 19:22:53
gap-4.13.11.1 KiB2024-08-29 14:10:58
gap-4.13.1-r21.1 KiB2024-11-24 15:11:22
gap-4.14.0_beta11.1 KiB2024-11-23 14:41:32
gappa-1.4.1644 B2024-11-12 18:41:25
gappa-1.4.2644 B2024-11-12 18:41:25
gappalib-coq-1.5.2-r1704 B2024-10-08 15:52:45
gappalib-coq-1.5.3704 B2024-10-08 15:52:45
genius-1.0.271.6 KiB2025-03-07 06:59:07
geogebra-bin-5.0.752.0895 B2024-10-08 15:52:45
geogebra-bin-6.0.804.01.0 KiB2024-10-08 15:52:45
geomview-1.9.5-r11.1 KiB2025-02-16 19:22:53
gfan-0.6.2-r6763 B2025-02-16 19:22:53
giac-1.9.0.995-r21.9 KiB2025-03-07 06:59:07
gimps-30.19.14912 B2025-02-16 19:22:53
gimps-30.19.20911 B2025-02-16 19:22:53
gimps-30.8.15881 B2025-02-16 19:22:53
gimps-30.8.17758 B2025-02-16 19:22:53
ginac-1.8.7-r1862 B2025-02-16 19:22:53
ginac-1.8.7-r2874 B2025-02-16 19:22:53
ginac-1.8.7-r3896 B2025-02-16 19:22:53
glpk-5.0-r31.3 KiB2025-03-07 06:59:07
gmm-5.4534 B2025-02-16 19:22:53
gmm-5.4.2359 B2024-10-25 22:41:04
gmp-ecm-7.0.5-r1685 B2025-02-16 19:22:53
gmp-ecm-7.0.61.0 KiB2025-03-07 06:59:07
gmp-ecm-7.0.6-r1690 B2025-02-16 19:22:53
gp2c-0.0.12388 B2021-12-06 07:39:52
gretl-2021d1.9 KiB2025-02-16 19:22:53
gsl-shell-2.3.51.6 KiB2025-02-16 19:22:53
jags-4.3.1-r11.0 KiB2025-03-07 06:59:07
kind2-1.9.0851 B2024-10-08 15:52:45
kissat-3.1.0523 B2025-02-16 19:22:53
kissat-3.1.1523 B2025-02-16 19:22:53
lcalc-2.0.5-r2676 B2024-08-27 01:11:33
lcalc-2.1.0681 B2025-01-10 16:13:14
lean-4.11.0996 B2025-02-16 19:22:53
lean-4.14.0-r11.1 KiB2025-02-19 07:41:16
libpoly-0.1.112.0 KiB2025-02-16 19:22:53
lpsolve-5.5.2.11-r2556 B2025-02-16 19:22:53
lrcalc-1.2365 B2023-06-09 15:40:46
lrcalc-2.1372 B2024-08-20 21:11:22
manifold-3.0.0_pre202411152.8 KiB2025-02-16 19:22:53
manifold-3.0.12.8 KiB2025-02-16 19:22:53
mathematica-10.3.1-r1671 B2025-02-16 19:22:53
mathematica-10.3.1-r2691 B2025-02-16 19:22:53
mathematica-12.1.0671 B2025-02-16 19:22:53
mathematica-12.1.1-r1671 B2025-02-16 19:22:53
mathematica-12.2.0671 B2025-02-16 19:22:53
mathematica-13.0.0676 B2025-02-16 19:22:53
mathematica-13.0.11.0 KiB2025-02-16 19:22:53
mathematica-13.1.01.1 KiB2025-02-16 19:22:53
mathematica-13.2.11.1 KiB2025-02-16 19:22:53
mathematica-13.3.11.5 KiB2025-02-16 19:22:53
mathematica-14.0.01.5 KiB2025-02-16 19:22:53
mathematica-14.1.01.5 KiB2025-02-16 19:22:53
mathmod-11.1926 B2025-02-16 19:22:53
mathomatic-16.0.5-r1695 B2025-02-16 19:22:53
maxima-5.46.0-r12.9 KiB2025-03-07 06:59:07
maxima-5.47.03.0 KiB2025-03-07 06:59:07
maxima-5.47.0-r13.1 KiB2025-03-07 06:59:07
metamath-0.198765 B2025-03-07 06:59:07
metamath-databases-20220303420 B2023-03-04 16:40:16
minisat-2.2.1-r1871 B2025-02-16 19:22:53
msieve-1.53-r1701 B2025-02-16 19:22:53
nauty-2.8.8-r11.1 KiB2025-03-07 06:59:07
nestedsums-1.5.2-r1660 B2025-02-16 19:22:53
normaliz-3.10.11.0 KiB2025-03-07 06:59:07
normaliz-3.9.3679 B2025-02-16 19:22:53
num-utils-0.5-r2445 B2023-06-09 15:40:46
octave-9.2.0-r14.2 KiB2025-03-07 06:59:07
octave-epstk-2.4435 B2021-11-22 03:39:53
opensmt-2.5.21.1 KiB2025-02-16 19:22:53
otter-3.3-r4611 B2025-02-16 19:22:53
palp-2.21580 B2025-02-16 19:22:53
pari-2.15.51.1 KiB2025-02-16 19:22:53
pari-2.17.11.1 KiB2025-02-16 19:22:53
pari-data-20191216725 B2024-08-19 13:11:05
petsc-3.16.0-r22.2 KiB2025-02-16 19:22:53
petsc-3.17.1-r22.0 KiB2025-02-16 19:22:53
petsc-3.18.2-r12.0 KiB2025-02-16 19:22:53
petsc-3.19.1-r12.0 KiB2025-02-16 19:22:53
petsc-3.19.2-r12.0 KiB2025-02-16 19:22:53
petsc-3.19.4-r12.0 KiB2025-02-16 19:22:53
petsc-3.20.5-r12.0 KiB2025-02-16 19:22:53
petsc-3.21.32.0 KiB2025-02-16 19:22:53
petsc-3.22.22.0 KiB2025-02-16 19:22:53
picosat-965392 B2025-02-16 19:22:53
planarity-3.0.2.0390 B2024-08-20 21:11:22
plfit-0.9.5777 B2025-02-16 19:22:53
polymake-4.111.7 KiB2025-02-16 19:22:53
polymake-4.131.7 KiB2025-02-16 19:22:53
primecount-7.13-r1928 B2025-02-16 19:22:53
primecount-7.6939 B2025-02-16 19:22:53
primesieve-11.0867 B2025-02-16 19:22:53
primesieve-12.3937 B2025-02-16 19:22:53
prng-3.0.2-r3783 B2025-03-07 06:59:07
prover9-2009.11a-r2539 B2025-02-23 22:41:03
proverif-2.04-r1773 B2024-12-16 19:11:38
proverif-2.05759 B2024-12-16 19:11:38
proverif-9999769 B2024-12-16 19:11:38
psmt2-frontend-0.4.0835 B2025-02-15 14:41:44
pspp-1.6.2-r21.6 KiB2025-02-16 19:22:53
rkward-0.8.02.9 KiB2025-03-04 22:42:29
rngstreams-1.0.1455 B2023-06-09 15:40:46
rw-0.9383 B2024-09-21 04:11:25
sha1-polyml-5.9452 B2025-02-16 19:22:53
singular-4.4.0_p6974 B2024-12-16 19:11:38
slepc-3.16.0979 B2025-02-16 19:22:53
slepc-3.17.1979 B2025-02-16 19:22:53
slepc-3.18.1968 B2025-02-16 19:22:53
slepc-3.19.01.0 KiB2025-02-16 19:22:53
slepc-3.19.11.0 KiB2025-02-16 19:22:53
slepc-3.20.11.0 KiB2025-02-16 19:22:53
slepc-3.21.11.1 KiB2025-02-16 19:22:53
slepc-3.22.11.1 KiB2025-02-16 19:22:53
smtinterpol-2.5_p20211018-r1751 B2025-01-07 12:19:16
spin-6.5.2-r1694 B2025-02-16 19:22:53
stp-2.3.3-r32.1 KiB2025-02-16 19:22:53
stp-2.3.42.1 KiB2025-02-16 19:22:53
sympow-2.023.7525 B2025-02-16 19:22:53
topcom-0.17.8-r31.1 KiB2025-03-07 06:59:07
topcom-1.1.21.0 KiB2025-03-07 06:59:07
twelf-1.7.1-r2827 B2025-02-16 19:22:53
unuran-1.8.1653 B2023-06-09 15:40:46
unuran-1.9.01.1 KiB2025-03-07 06:59:07
vampire-4.8956 B2025-02-16 19:22:53
vampire-4.9956 B2025-02-16 19:22:53
verifpal-0.27.0810 B2025-02-16 19:22:53
verit-2021.06.2320 B2022-03-10 21:39:55
why3-1.6.02.0 KiB2025-03-07 06:59:07
why3-1.7.22.0 KiB2025-03-07 06:59:07
why3-1.8.02.0 KiB2025-03-07 06:59:07
why3-for-spark-2021-r12.1 KiB2025-03-07 06:59:07
why3-for-spark-2023.12.13-r22.1 KiB2025-03-07 06:59:07
wxmaxima-24.05.01.2 KiB2025-02-16 19:22:53
wxmaxima-24.11.01.2 KiB2025-02-16 19:22:53
wxmaxima-25.01.01.2 KiB2025-02-16 19:22:53
yacas-1.9.1-r21.1 KiB2025-02-16 19:22:53
yafu-1.34.3-r2798 B2025-02-24 22:21:58
yices2-2.6.4-r1963 B2025-03-07 06:59:07
z3-4.14.02.5 KiB2025-03-08 17:47:40
z3-4.14.12.5 KiB2025-03-11 09:11:22