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/--
cudd-3.0.0295 B2022-12-18 22:10:27
verit-2021.06.2320 B2022-03-10 21:39:55
picosat-965350 B2025-04-12 16:51:13
gmm-5.4.2359 B2024-10-25 22:41:04
lrcalc-1.2365 B2023-06-09 15:40:46
lrcalc-2.1372 B2024-08-20 21:11:22
rw-0.9383 B2024-09-21 04:11:25
cadical-1.9.5385 B2025-04-12 16:51:13
gp2c-0.0.12388 B2021-12-06 07:39:52
cliquer-1.22389 B2023-11-22 22:40:40
planarity-3.0.2.0390 B2024-08-20 21:11:22
planarity-4.0.0.0396 B2025-03-27 12:11:01
sha1-polyml-5.9410 B2025-04-12 16:51:13
metamath-databases-20220303420 B2023-03-04 16:40:16
cadical-2.0.0423 B2025-04-12 16:51:13
octave-epstk-2.4435 B2021-11-22 03:39:53
num-utils-0.5-r2445 B2023-06-09 15:40:46
rngstreams-1.0.1455 B2023-06-09 15:40:46
dsfmt-2.2.4472 B2025-04-12 16:51:13
ent-101202478 B2025-04-12 16:51:13
kissat-3.1.1481 B2025-04-12 16:51:13
kissat-3.1.0481 B2025-04-12 16:51:13
sympow-2.023.7483 B2025-04-12 16:51:13
gmm-5.4492 B2025-04-12 16:51:13
eprover-3.0.03497 B2025-04-12 16:51:13
prover9-2009.11a-r2497 B2025-04-12 16:51:13
coq-mathcomp-1.19.0-r1502 B2025-03-17 00:11:20
eprover-3.0_pre008504 B2025-04-12 16:51:13
frobby-0.9.0-r4508 B2025-04-12 16:51:13
lpsolve-5.5.2.11-r2514 B2025-04-12 16:51:13
palp-2.21538 B2025-04-12 16:51:13
flocq-4.2.1541 B2025-02-16 22:41:04
abc-9999559 B2025-04-12 16:51:13
calc-2.13.0.1566 B2025-04-12 16:51:13
otter-3.3-r4569 B2025-04-12 16:51:13
bertini-1.4571 B2025-04-12 16:51:13
abc-0_p20230313600 B2025-04-12 16:51:13
nestedsums-1.5.2-r1618 B2025-04-12 16:51:13
bertini-1.6623 B2025-04-12 16:51:13
normaliz-3.9.3637 B2025-04-12 16:51:13
gappa-1.4.1644 B2024-11-12 18:41:25
gappa-1.4.2644 B2024-11-12 18:41:25
gmp-ecm-7.0.6-r1646 B2025-04-19 19:12:24
spin-6.5.2-r1652 B2025-04-12 16:51:13
unuran-1.8.1653 B2023-06-09 15:40:46
eclib-20250122653 B2025-04-19 00:34:06
mathomatic-16.0.5-r1653 B2025-04-12 16:51:13
msieve-1.53-r1659 B2025-04-12 16:51:13
msieve-1.53-r2664 B2025-04-12 22:07:17
mathematica-12.1.1-r1671 B2025-04-12 16:51:13
mathematica-12.2.0671 B2025-04-12 16:51:13
mathematica-10.3.1-r1671 B2025-04-12 16:51:13
mathematica-12.1.0671 B2025-04-12 16:51:13
mathematica-13.0.0676 B2025-04-12 16:51:13
lcalc-2.0.5-r2676 B2024-08-27 01:11:33
fann-2.2.0-r2681 B2025-04-23 16:27:42
fann-2.2.0-r1689 B2025-04-23 16:27:42
acl2-8.5_p20240307-r1689 B2025-04-23 16:27:42
coq-stdlib-9.0.0689 B2025-03-17 00:11:20
mathematica-10.3.1-r2691 B2025-04-12 16:51:13
gappalib-coq-1.5.3704 B2024-10-08 15:52:45
gappalib-coq-1.5.2-r1704 B2024-10-08 15:52:45
gimps-30.8.17716 B2025-04-23 16:27:42
gfan-0.6.2-r6721 B2025-04-12 16:51:13
metamath-0.198723 B2025-04-23 16:27:42
pari-data-20191216725 B2024-08-19 13:11:05
plfit-0.9.5735 B2025-04-23 16:27:42
fann-9999739 B2025-04-23 16:27:42
prng-3.0.2-r3741 B2025-04-23 16:27:42
clipper2-1.4.0750 B2025-04-23 16:27:42
smtinterpol-2.5_p20211018-r1751 B2025-01-07 12:19:16
yafu-1.34.3-r2756 B2025-04-12 16:51:13
btor2tools-1.0.0_pre20220518-r1757 B2025-04-23 16:27:42
proverif-2.05759 B2025-04-23 16:27:42
verifpal-0.27.0768 B2025-04-23 16:27:42
proverif-9999769 B2025-04-23 16:27:42
proverif-2.04-r1773 B2025-04-23 16:27:42
twelf-1.7.1-r2785 B2025-04-23 16:27:42
euler-1.61.0-r1795 B2025-04-23 16:27:42
mathmod-12.0814 B2025-04-12 16:51:13
ginac-1.8.7-r1820 B2025-04-23 16:27:42
primesieve-11.0825 B2025-04-23 16:27:42
minisat-2.2.1-r1829 B2025-04-23 16:27:42
psmt2-frontend-0.4.0835 B2025-02-15 14:41:44
gimps-30.8.15839 B2025-04-23 16:27:42
lcalc-2.1.0-r1841 B2025-04-18 05:29:18
kind2-1.9.0851 B2024-10-08 15:52:45
ginac-1.8.7-r3854 B2025-04-23 16:27:42
4ti2-1.6.7-r1868 B2025-04-23 16:27:42
gimps-30.19.20869 B2025-04-23 16:27:42
gimps-30.19.14870 B2025-04-23 16:27:42
primecount-7.13-r1886 B2025-04-23 16:27:42
geogebra-bin-5.0.752.0895 B2024-10-08 15:52:45
primesieve-12.3895 B2025-04-23 16:27:42
primecount-7.6897 B2025-04-23 16:27:42
diagrtb-2.64908 B2025-04-23 16:27:42
vampire-4.8914 B2025-04-23 16:27:42
vampire-4.9914 B2025-04-23 16:27:42
yices2-2.6.4-r1921 B2025-04-23 16:27:42
slepc-3.18.1926 B2025-04-23 16:27:42
slepc-3.16.0937 B2025-04-23 16:27:42
slepc-3.17.1937 B2025-04-23 16:27:42
arb-2.23.0947 B2025-04-23 16:27:42
lean-4.11.0954 B2025-04-23 16:27:42
4ti2-1.6.10966 B2025-04-23 16:27:42
singular-4.4.0_p6974 B2025-04-23 16:27:42
jags-4.3.1-r1984 B2025-04-23 16:27:42
normaliz-3.10.1991 B2025-04-23 16:27:42
topcom-1.1.21001 B2025-04-23 16:27:42
mathematica-13.0.11002 B2025-04-12 16:51:13
slepc-3.20.11020 B2025-04-23 16:27:42
slepc-3.19.11020 B2025-04-23 16:27:42
slepc-3.19.01020 B2025-04-23 16:27:42
nauty-2.8.8-r11.0 KiB2025-04-23 16:27:42
slepc-3.21.11.0 KiB2025-04-23 16:27:42
slepc-3.22.11.0 KiB2025-04-23 16:27:42
geogebra-bin-6.0.804.01.0 KiB2024-10-08 15:52:45
pari-2.17.11.0 KiB2025-04-12 16:51:13
pari-2.15.51.0 KiB2025-04-12 16:51:13
geomview-1.9.5-r11.0 KiB2025-04-23 16:27:42
unuran-1.9.01.0 KiB2025-04-23 16:27:42
mathematica-13.2.11.0 KiB2025-04-12 16:51:13
topcom-0.17.8-r31.1 KiB2025-04-23 16:27:42
mathematica-13.1.01.1 KiB2025-04-12 16:51:13
flint-3.1.3_p1-r31.1 KiB2025-04-23 16:27:42
lean-4.14.0-r11.1 KiB2025-04-23 16:27:42
yacas-1.9.1-r21.1 KiB2025-04-23 16:27:42
opensmt-2.5.21.1 KiB2025-04-23 16:27:42
cubicle-1.2.0-r21.1 KiB2025-04-23 16:27:42
gap-4.13.11.1 KiB2024-08-29 14:10:58
gap-4.14.01.1 KiB2025-04-01 19:41:24
gap-4.13.1-r21.1 KiB2024-11-24 15:11:22
cgal-6.01.1 KiB2025-04-23 16:27:42
cgal-5.61.1 KiB2025-04-23 16:27:42
easycrypt-2024.091.1 KiB2024-10-08 15:52:45
cgal-5.6.11.1 KiB2025-04-23 16:27:42
easycrypt-2025.021.1 KiB2025-02-16 22:41:04
cgal-6.0.11.2 KiB2025-04-23 16:27:42
wxmaxima-24.05.01.2 KiB2025-04-23 16:27:42
wxmaxima-25.01.01.2 KiB2025-04-23 16:27:42
wxmaxima-24.11.01.2 KiB2025-04-23 16:27:42
coq-9.0.01.2 KiB2025-03-28 21:12:35
glpk-5.0-r31.3 KiB2025-04-23 16:27:42
alt-ergo-2.4.3-r21.3 KiB2025-02-15 14:41:44
dataplot-201312201.3 KiB2025-04-23 16:27:42
form-4.3.11.3 KiB2025-04-23 16:27:42
form-5.0.0_beta11.3 KiB2025-04-23 16:27:42
coq-serapi-0.20.01.3 KiB2025-04-23 16:27:42
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-8.17.1-r11.4 KiB2025-03-11 21:11:29
cvc4-1.8-r51.4 KiB2025-04-23 16:27:42
fricas-1.3.11-r31.4 KiB2025-04-23 16:27:42
mathematica-13.3.11.5 KiB2025-04-12 16:51:13
mathematica-14.0.01.5 KiB2025-04-12 16:51:13
mathematica-14.1.01.5 KiB2025-04-12 16:51:13
pspp-1.6.2-r21.5 KiB2025-04-23 16:27:42
genius-1.0.271.6 KiB2025-04-23 16:27:42
gsl-shell-2.3.51.6 KiB2025-04-23 16:27:42
polymake-4.131.7 KiB2025-04-18 18:36:05
gretl-2021d1.8 KiB2025-04-23 16:27:42
giac-1.9.0.995-r21.9 KiB2025-04-23 16:27:42
petsc-3.17.1-r21.9 KiB2025-04-23 16:27:42
why3-1.7.21.9 KiB2025-04-23 16:27:42
why3-1.6.01.9 KiB2025-04-23 16:27:42
libpoly-0.1.111.9 KiB2025-04-23 16:27:42
petsc-3.18.2-r12.0 KiB2025-04-23 16:27:42
petsc-3.19.4-r12.0 KiB2025-04-23 16:27:42
petsc-3.19.1-r12.0 KiB2025-04-23 16:27:42
petsc-3.19.2-r12.0 KiB2025-04-23 16:27:42
why3-1.8.02.0 KiB2025-04-23 16:27:42
petsc-3.20.5-r12.0 KiB2025-04-23 16:27:42
petsc-3.22.22.0 KiB2025-04-23 16:27:42
petsc-3.21.32.0 KiB2025-04-23 16:27:42
stp-2.3.42.0 KiB2025-04-23 16:27:42
why3-for-spark-2021-r12.1 KiB2025-04-23 16:27:42
stp-2.3.3-r32.1 KiB2025-04-23 16:27:42
why3-for-spark-2023.12.13-r22.1 KiB2025-04-23 16:27:42
boolector-3.2.42.1 KiB2025-04-23 16:27:42
petsc-3.16.0-r22.1 KiB2025-04-23 16:27:42
dunshire-0.1.3-r22.4 KiB2025-04-23 16:27:42
alectryon-1.4.0-r22.5 KiB2025-04-23 16:27:42
z3-4.14.12.5 KiB2025-04-23 16:27:42
cryptominisat-5.11.21-r12.7 KiB2025-04-23 16:27:42
manifold-3.0.12.8 KiB2025-04-23 16:27:42
manifold-3.0.0_pre202411152.8 KiB2025-04-23 16:27:42
rkward-0.8.12.8 KiB2025-04-23 18:11:02
maxima-5.46.0-r12.9 KiB2025-04-23 16:27:42
maxima-5.47.02.9 KiB2025-04-23 16:27:42
maxima-5.47.0-r13.1 KiB2025-04-23 16:27:42
cadabra-2.4.5.43.5 KiB2025-04-23 16:27:42
cadabra-2.4.5.63.5 KiB2025-04-23 16:27:42
cadabra-2.4.5.73.5 KiB2025-04-23 16:27:42
octave-9.2.0-r14.2 KiB2025-04-23 16:27:42
Manifest.gz31.5 KiB2025-04-24 22:11:12