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

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