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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
4ti2-1.6.10964 B2025-07-14 19:21:50
4ti2-1.6.7-r1866 B2025-07-14 19:21:50
Manifest.gz31.3 KiB2025-09-15 06:11:33
abc-0_p20230313600 B2025-07-14 19:21:50
abc-9999559 B2025-07-14 19:21:50
acl2-8.5_p20240307-r1689 B2025-04-23 16:27:42
acl2-8.6678 B2025-07-02 01:11:47
alectryon-1.4.0-r22.5 KiB2025-09-06 08:18:19
alt-ergo-2.4.3-r21.3 KiB2025-05-14 08:41:38
arb-2.23.0947 B2025-07-14 19:21:50
bertini-1.4571 B2025-07-14 19:21:50
bertini-1.6623 B2025-07-14 19:21:50
btor2tools-1.0.0_pre20220518-r1757 B2025-07-14 19:21:50
cadabra-2.4.5.42.8 KiB2025-09-06 08:18:19
cadabra-2.4.5.62.8 KiB2025-09-06 08:18:19
cadabra-2.4.5.72.8 KiB2025-09-06 08:18:19
cadical-1.9.5386 B2025-08-08 21:41:13
cadical-2.0.0515 B2025-08-08 21:41:13
calc-2.13.0.1566 B2025-07-14 19:21:50
cgal-5.61.1 KiB2025-07-14 19:21:50
cgal-5.6.11.1 KiB2025-07-14 19:21:50
cgal-6.01.1 KiB2025-07-14 19:21:50
cgal-6.0.11.2 KiB2025-07-14 19:21:50
clipper2-1.5.3775 B2025-07-14 19:21:50
clipper2-1.5.4776 B2025-08-01 08:41:05
cliquer-1.22389 B2023-11-22 22:40:40
cliquer-1.23405 B2025-08-09 19:11:23
coq-8.17.1-r11.4 KiB2025-05-14 08:41:38
coq-8.19.2-r11.4 KiB2025-05-14 08:41:38
coq-8.20.0-r11.4 KiB2025-05-14 08:41:38
coq-9.0.01.2 KiB2025-05-14 08:41:38
coq-mathcomp-1.19.0-r1502 B2025-03-17 00:11:20
coq-serapi-0.20.01.3 KiB2025-05-14 08:41:38
coq-stdlib-9.0.0689 B2025-05-14 08:41:38
cryptominisat-5.11.21-r21.9 KiB2025-09-06 08:18:19
cubicle-1.2.0-r21.1 KiB2025-07-14 19:21:50
cudd-3.0.0295 B2022-12-18 22:10:27
cvc4-1.8-r61.2 KiB2025-09-06 08:18:19
dataplot-201312201.3 KiB2025-07-14 19:21:50
diagrtb-2.64908 B2025-07-14 19:21:50
dsfmt-2.2.4472 B2025-07-14 19:21:50
dunshire-0.1.3-r22.1 KiB2025-09-06 08:18:19
easycrypt-2025.031.1 KiB2025-07-01 00:41:22
easycrypt-2025.081.1 KiB2025-08-09 17:42:40
eclib-20250122653 B2025-04-19 00:34:06
eclib-20250627654 B2025-07-31 01:41:48
ent-101202478 B2025-07-14 19:21:50
eprover-3.0.03497 B2025-07-14 19:21:50
eprover-3.0_pre008504 B2025-07-14 19:21:50
euler-1.61.0-r1793 B2025-07-14 19:21:50
fann-2.2.0-r2681 B2025-07-14 19:21:50
fann-9999739 B2025-07-14 19:21:50
flint-3.1.3_p1-r41.0 KiB2025-09-06 08:18:19
flint-3.3.1-r11.0 KiB2025-09-06 08:18:19
flocq-4.2.1541 B2025-02-16 22:41:04
form-4.3.11.3 KiB2025-07-14 19:21:50
form-5.0.0_beta11.3 KiB2025-07-14 19:21:50
fricas-1.3.121.4 KiB2025-08-11 14:42:58
frobby-0.9.0-r4508 B2025-07-14 19:21:50
functions-matlab-colormaps-1.0_p20250328481 B2025-06-20 17:06:07
gap-4.14.0-r11.1 KiB2025-09-01 23:41:25
gap-4.15.0_beta21.1 KiB2025-09-13 16:10:09
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-07-14 19:21:50
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.0 KiB2025-07-14 19:21:50
gfan-0.6.2-r6721 B2025-07-14 19:21:50
gfan-0.6.2-r7722 B2025-07-14 19:21:50
giac-1.9.0.995-r21.9 KiB2025-07-14 19:21:50
gimps-30.19.14870 B2025-07-14 19:21:50
gimps-30.19.20869 B2025-07-14 19:21:50
gimps-30.8.15839 B2025-07-14 19:21:50
gimps-30.8.17716 B2025-07-14 19:21:50
ginac-1.8.9854 B2025-09-06 08:18:19
glpk-5.0-r31.3 KiB2025-09-02 17:13:27
gmm-5.4492 B2025-07-14 19:21:50
gmm-5.4.2359 B2024-10-25 22:41:04
gmp-ecm-7.0.6-r1646 B2025-07-14 19:21:50
gp2c-0.0.12388 B2021-12-06 07:39:52
gp2c-0.0.14396 B2025-08-08 13:05:21
gretl-2021d1.8 KiB2025-07-14 19:21:50
gsl-shell-2.3.51.5 KiB2025-09-06 08:18:19
jags-4.3.1-r1982 B2025-07-14 19:21:50
kind2-1.9.0851 B2025-05-14 08:41:38
kissat-3.1.1-r1481 B2025-08-01 17:41:04
lcalc-2.0.5-r2676 B2024-08-27 01:11:33
lcalc-2.1.1841 B2025-07-14 19:21:50
lean-4.14.0-r11.1 KiB2025-09-06 08:18:19
libpoly-0.1.111.6 KiB2025-09-06 08:18:19
lpsolve-5.5.2.11-r2514 B2025-07-14 19:21:50
lrcalc-1.2365 B2023-06-09 15:40:46
lrcalc-2.1372 B2024-08-20 21:11:22
manifold-3.0.12.3 KiB2025-09-06 08:18:19
manifold-3.0.2_pre202503302.4 KiB2025-09-06 08:18:19
manifold-3.1.0-r12.3 KiB2025-09-06 08:18:19
manifold-99992.3 KiB2025-09-06 08:18:19
mathematica-10.3.1-r1671 B2025-08-20 22:44:28
mathematica-10.3.1-r2691 B2025-08-20 22:44:28
mathematica-12.1.0671 B2025-08-20 22:44:28
mathematica-12.1.1-r1671 B2025-08-20 22:44:28
mathematica-12.2.0671 B2025-08-20 22:44:28
mathematica-13.0.0676 B2025-08-20 22:44:28
mathematica-13.0.11002 B2025-07-14 19:21:50
mathematica-13.1.01.1 KiB2025-07-14 19:21:50
mathematica-13.2.11.0 KiB2025-07-14 19:21:50
mathematica-13.3.1-r11.5 KiB2025-07-14 19:21:50
mathematica-14.0.0-r11.5 KiB2025-07-14 19:21:50
mathematica-14.1.0-r11.5 KiB2025-07-14 19:21:50
mathmod-12.0814 B2025-07-14 19:21:50
mathmod-12.1854 B2025-07-14 19:21:50
mathomatic-16.0.5-r1653 B2025-07-14 19:21:50
maxima-5.47.0-r12.9 KiB2025-09-06 08:18:19
maxima-5.47.0-r23.1 KiB2025-09-06 08:18:19
maxima-5.48.13.1 KiB2025-09-06 08:18:19
metamath-0.198721 B2025-07-14 19:21:50
metamath-databases-20220303420 B2023-03-04 16:40:16
minisat-2.2.1-r1829 B2025-07-14 19:21:50
msieve-1.53-r1659 B2025-07-14 19:21:50
msieve-1.53-r3785 B2025-08-07 17:11:24
nauty-2.8.8-r11.0 KiB2025-07-14 19:21:50
nestedsums-1.5.2-r1618 B2025-07-14 19:21:50
normaliz-3.10.1989 B2025-07-14 19:21:50
normaliz-3.10.5640 B2025-07-14 19:21:50
normaliz-3.9.3637 B2025-07-14 19:21:50
num-utils-0.5-r2445 B2023-06-09 15:40:46
octave-9.2.0-r24.2 KiB2025-08-13 12:43:23
octave-epstk-2.4435 B2021-11-22 03:39:53
opensmt-2.5.21.1 KiB2025-07-14 19:21:50
opensmt-2.7.01010 B2025-07-14 19:21:50
otter-3.3-r4569 B2025-07-14 19:21:50
palp-2.21538 B2025-07-14 19:21:50
pari-2.15.51.0 KiB2025-07-14 19:21:50
pari-2.17.11.0 KiB2025-07-14 19:21:50
pari-2.17.21.0 KiB2025-08-08 13:05:21
pari-data-20191216725 B2024-08-19 13:11:05
petsc-3.22.21.9 KiB2025-09-06 08:18:19
petsc-3.23.32.1 KiB2025-09-06 08:18:19
petsc-3.23.42.1 KiB2025-09-06 08:18:19
picosat-965350 B2025-07-14 19:21:50
planarity-3.0.2.0390 B2024-08-20 21:11:22
planarity-4.0.0.0395 B2025-06-22 20:11:03
plfit-0.9.5735 B2025-07-14 19:21:50
polymake-4.131.7 KiB2025-07-14 19:21:50
polymake-4.141.7 KiB2025-07-23 22:11:20
primecount-7.13-r1885 B2025-07-14 19:21:50
primesieve-12.3893 B2025-07-14 19:21:50
prng-3.0.2-r4739 B2025-09-14 07:41:37
prover9-2009.11a-r2497 B2025-07-14 19:21:50
proverif-2.04-r1773 B2025-05-14 08:41:38
proverif-2.05759 B2025-05-14 08:41:38
proverif-9999769 B2025-05-14 08:41:38
psmt2-frontend-0.4.0835 B2025-05-14 08:41:38
pspp-1.6.2-r31.5 KiB2025-09-06 08:18:19
pspp-2.0.1-r11.5 KiB2025-09-06 08:18:19
rkward-0.8.12.8 KiB2025-07-14 19:21:50
rngstreams-1.0.1455 B2023-06-09 15:40:46
rw-0.9383 B2024-09-21 04:11:25
sha1-polyml-5.9410 B2025-07-14 19:21:50
singular-4.4.1972 B2025-06-22 20:11:03
singular-4.4.1-r1973 B2025-07-31 15:07:47
slepc-3.22.11020 B2025-09-06 08:18:19
slepc-3.23.11.0 KiB2025-09-06 08:18:19
smtinterpol-2.5_p20211018-r1751 B2025-08-13 12:43:23
spin-6.5.2-r1652 B2025-07-14 19:21:50
stp-2.3.3-r31.9 KiB2025-09-06 08:18:19
stp-2.3.41.9 KiB2025-09-06 08:18:19
sympow-2.023.7483 B2025-07-14 19:21:50
topcom-0.17.8-r31.1 KiB2025-07-14 19:21:50
topcom-1.1.2999 B2025-07-14 19:21:50
twelf-1.7.1-r2785 B2025-07-14 19:21:50
unuran-1.8.1653 B2023-06-09 15:40:46
unuran-1.9.01.0 KiB2025-07-14 19:21:50
vampire-4.8914 B2025-07-14 19:21:50
vampire-4.9914 B2025-07-14 19:21:50
verifpal-0.27.0753 B2025-07-14 19:21:50
verit-2021.06.2320 B2022-03-10 21:39:55
why3-1.6.01.9 KiB2025-07-14 19:21:50
why3-1.7.21.9 KiB2025-07-14 19:21:50
why3-1.8.02.0 KiB2025-07-14 19:21:50
why3-1.8.12.0 KiB2025-07-14 19:21:50
why3-for-spark-2021-r12.0 KiB2025-07-14 19:21:50
why3-for-spark-2023.12.13-r22.1 KiB2025-07-14 19:21:50
wxmaxima-25.04.0-r21.2 KiB2025-07-14 19:21:50
yacas-1.9.1-r21.1 KiB2025-07-14 19:21:50
yafu-1.34.3-r2764 B2025-09-02 15:43:09
yices2-2.6.4-r1919 B2025-07-14 19:21:50
yices2-2.6.5965 B2025-07-14 19:21:50
z3-4.15.22.4 KiB2025-09-06 08:18:19
z3-4.15.32.4 KiB2025-09-15 06:11:33