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/--
Manifest.gz32.0 KiB2026-02-16 19:40:56
octave-9.2.0-r24.2 KiB2026-02-08 02:48:08
maxima-5.48.1-r13.1 KiB2026-02-08 02:48:08
maxima-5.49.03.1 KiB2026-02-08 02:48:08
maxima-5.47.0-r23.1 KiB2026-02-08 02:48:08
cadabra-2.5.14_p12.9 KiB2026-02-08 02:48:08
rkward-0.8.22.8 KiB2026-02-08 02:48:08
z3-4.15.72.5 KiB2026-02-09 05:41:25
z3-4.15.82.5 KiB2026-02-13 05:10:49
z3-4.15.52.5 KiB2026-02-08 04:11:10
manifold-3.2.12.4 KiB2026-02-08 02:48:08
manifold-99992.4 KiB2026-02-08 02:48:08
z3-4.15.42.4 KiB2026-02-08 02:48:08
manifold-3.1.0-r12.3 KiB2026-02-08 02:48:08
petsc-3.23.32.1 KiB2026-02-08 02:48:08
petsc-3.23.42.1 KiB2026-02-08 02:48:08
dunshire-0.1.3-r22.1 KiB2026-02-08 02:48:08
why3-for-spark-2023.12.13-r22.0 KiB2026-02-03 23:51:01
why3-for-spark-2021-r12.0 KiB2026-02-03 23:51:01
alectryon-1.4.0-r22.0 KiB2026-02-08 02:48:08
petsc-3.22.21.9 KiB2026-02-08 02:48:08
why3-1.8.21.9 KiB2026-02-03 23:51:01
why3-1.8.01.9 KiB2026-02-03 23:51:01
why3-1.8.11.9 KiB2026-02-03 23:51:01
giac-1.9.0.995-r21.9 KiB2026-02-08 02:48:08
stp-2.3.3-r31.9 KiB2026-02-08 02:48:08
why3-1.7.21.9 KiB2026-02-03 23:51:01
why3-1.6.01.9 KiB2026-02-03 23:51:01
stp-2.3.41.9 KiB2026-02-08 02:48:08
cryptominisat-5.11.21-r21.9 KiB2026-02-08 02:48:08
gretl-2021d1.8 KiB2026-02-03 23:51:01
mathematica-14.3.0-r11.7 KiB2026-02-08 02:48:08
mathematica-14.2.1-r11.7 KiB2026-02-08 02:48:08
polymake-4.141.7 KiB2026-02-08 02:48:08
polymake-4.151.7 KiB2026-02-08 02:48:08
polymake-4.131.7 KiB2026-02-08 02:48:08
mathematica-14.1.0-r21.6 KiB2026-02-08 02:48:08
libpoly-0.1.111.6 KiB2026-02-08 02:48:08
gsl-shell-2.3.51.6 KiB2026-02-08 08:41:41
mathematica-13.3.1-r21.6 KiB2026-02-08 02:48:08
mathematica-14.0.0-r31.6 KiB2026-02-08 02:48:08
genius-1.0.271.6 KiB2026-02-03 23:51:01
geogebra-bin-6.0.804.0-r11.5 KiB2026-02-01 20:41:15
pspp-2.0.1-r11.5 KiB2026-02-03 23:51:01
pspp-1.6.2-r31.5 KiB2026-02-03 23:51:01
fricas-1.3.121.4 KiB2026-01-10 15:50:31
coq-8.20.0-r11.4 KiB2026-02-01 20:41:15
coq-8.19.2-r11.4 KiB2026-02-01 20:41:15
coq-8.17.1-r11.4 KiB2026-02-01 20:41:15
coq-serapi-0.20.01.3 KiB2026-01-10 15:50:31
form-5.0.0_beta11.3 KiB2026-02-08 02:48:08
form-4.3.11.3 KiB2026-02-08 02:48:08
coq-9.1.0-r11.3 KiB2026-02-01 20:41:15
dataplot-201312201.3 KiB2026-02-08 02:48:08
coq-9.0.01.3 KiB2026-02-01 20:41:15
glpk-5.0-r31.2 KiB2026-02-08 02:48:08
alt-ergo-2.4.3-r31.2 KiB2025-09-26 06:11:00
mathematica-13.1.0-r11.2 KiB2026-02-08 02:48:08
wxmaxima-26.01.01.2 KiB2026-02-08 02:48:08
wxmaxima-25.04.0-r21.2 KiB2026-02-08 02:48:08
cvc4-1.8-r71.2 KiB2026-02-08 02:48:08
mathematica-13.2.1-r11.2 KiB2026-02-08 02:48:08
cgal-6.0.11.1 KiB2026-02-08 02:48:08
cgal-6.11.1 KiB2026-02-08 02:48:08
gap-4.14.0-r11.1 KiB2025-11-04 10:12:11
gap-4.15.11.1 KiB2025-11-04 10:12:11
cgal-5.6.11.1 KiB2026-02-08 02:48:08
yacas-1.9.1-r21.1 KiB2026-02-08 02:48:08
cgal-6.01.1 KiB2026-02-08 02:48:08
cgal-5.61.1 KiB2026-02-08 02:48:08
lean-4.23.01.1 KiB2026-02-08 02:48:08
lean-4.14.0-r11.1 KiB2026-02-08 02:48:08
cubicle-1.2.0-r21.1 KiB2026-02-03 23:51:01
topcom-0.17.8-r31.1 KiB2026-02-08 02:48:08
easycrypt-2025.101.1 KiB2025-10-06 22:12:59
easycrypt-2025.111.1 KiB2025-11-16 20:40:47
flint-3.1.3_p1-r41.0 KiB2026-02-08 02:48:08
eclib-202506271.0 KiB2026-02-03 23:51:01
geomview-1.9.5-r11.0 KiB2026-02-08 02:48:08
slepc-3.23.11.0 KiB2026-02-03 23:51:01
nauty-2.8.8-r11.0 KiB2026-02-03 23:51:01
flint-3.3.1-r11.0 KiB2026-02-08 02:48:08
unuran-1.9.01.0 KiB2026-02-03 23:51:01
pari-2.17.21021 B2026-02-08 02:48:08
slepc-3.22.11020 B2026-02-03 23:51:01
pari-2.17.11019 B2026-02-08 02:48:08
pari-2.15.51019 B2026-02-08 02:48:08
opensmt-2.7.01010 B2026-02-08 02:48:08
opensmt-2.9.21010 B2026-02-08 02:48:08
mathematica-13.0.11002 B2026-02-03 23:51:01
topcom-1.1.2999 B2026-02-03 23:51:01
yices2-2.6.5965 B2026-02-03 23:51:01
normaliz-3.10.1965 B2026-02-03 23:51:01
singular-4.4.1-r1962 B2026-01-10 15:50:31
singular-4.4.1961 B2026-01-10 15:50:31
jags-4.3.1-r1958 B2026-02-03 23:51:01
4ti2-1.6.10940 B2026-02-03 23:51:01
vampire-5.0.0919 B2026-02-08 02:48:08
vampire-4.9914 B2026-02-08 02:48:08
arb-2.23.0912 B2026-02-08 02:48:08
geogebra-bin-5.0.752.0895 B2026-02-01 20:41:15
primesieve-12.3893 B2026-02-08 02:48:08
primecount-7.13-r1885 B2026-02-08 02:48:08
primecount-8.0884 B2026-02-08 02:48:08
gimps-30.19.14870 B2026-02-03 23:51:01
gimps-30.19.20869 B2026-02-03 23:51:01
mathmod-13.0-r1854 B2026-02-03 23:51:01
kind2-1.9.0843 B2025-09-26 06:11:00
4ti2-1.6.7-r1842 B2026-02-03 23:51:01
lcalc-2.1.1841 B2026-02-03 23:51:01
gimps-30.8.15839 B2026-02-03 23:51:01
ginac-1.8.9830 B2026-02-03 23:51:01
minisat-2.2.1-r1827 B2026-02-08 02:48:08
psmt2-frontend-0.4.0827 B2025-09-26 06:11:00
highs-1.13.1804 B2026-02-13 14:10:47
msieve-1.53-r3787 B2026-02-08 02:48:08
twelf-1.7.1-r2785 B2026-02-08 02:48:08
clipper2-1.5.3775 B2026-02-08 02:48:08
clipper2-1.5.4775 B2026-02-08 02:48:08
proverif-2.04-r1773 B2026-01-10 15:50:31
proverif-9999769 B2026-01-10 15:50:31
euler-1.61.0-r1769 B2026-02-03 23:51:01
yafu-1.34.3-r2764 B2026-02-08 02:48:08
gfan-0.6.2-r8763 B2026-02-08 02:48:08
proverif-2.05759 B2026-01-10 15:50:31
btor2tools-1.0.0_pre20220518-r1757 B2026-02-08 02:48:08
verifpal-0.27.0753 B2026-02-08 02:48:08
smtinterpol-2.5_p20211018-r1751 B2026-01-25 14:41:25
plfit-1.0.1742 B2026-02-08 02:48:08
fann-9999739 B2026-02-08 02:48:08
metamath-0.198721 B2026-02-03 23:51:01
gimps-30.8.17716 B2026-02-03 23:51:01
prng-3.0.2-r4715 B2026-02-03 23:51:01
gappalib-coq-1.5.3704 B2024-10-08 15:52:45
gappalib-coq-1.5.2-r1704 B2024-10-08 15:52:45
pari-data-20191216701 B2025-12-19 10:13:07
gfan-0.6.2-r7697 B2026-02-08 02:48:08
mathematica-10.3.1-r2691 B2026-02-03 23:51:01
acl2-8.5_p20240307-r1689 B2026-01-10 15:50:31
coq-stdlib-9.0.0-r1684 B2025-11-07 22:11:10
fann-2.2.0-r2681 B2026-02-08 02:48:08
acl2-8.6678 B2026-01-10 15:50:31
mathematica-13.0.0676 B2026-02-03 23:51:01
lcalc-2.0.5-r2676 B2024-08-27 01:11:33
mathematica-12.1.1-r1671 B2026-02-03 23:51:01
mathematica-12.2.0671 B2026-02-03 23:51:01
mathematica-10.3.1-r1671 B2026-02-03 23:51:01
mathematica-12.1.0671 B2026-02-03 23:51:01
msieve-1.53-r1661 B2026-02-03 23:51:01
spin-6.5.2-r1652 B2026-02-03 23:51:01
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-r1635 B2026-02-03 23:51:01
unuran-1.8.1629 B2026-01-26 13:20:13
mathomatic-16.0.5-r1629 B2026-02-08 02:48:08
bertini-1.6623 B2026-02-08 02:48:08
nestedsums-1.5.2-r1618 B2026-02-08 02:48:08
normaliz-3.10.5616 B2026-02-03 23:51:01
normaliz-3.11.0616 B2026-02-03 23:51:01
normaliz-3.9.3613 B2026-02-03 23:51:01
abc-0_p20230313600 B2026-02-03 23:51:01
bertini-1.4571 B2026-02-08 02:48:08
abc-9999559 B2026-02-03 23:51:01
calc-2.13.0.1542 B2026-02-03 23:51:01
flocq-4.2.1541 B2025-02-16 22:41:04
palp-2.21538 B2026-02-03 23:51:01
otter-3.3-r4534 B2026-02-08 02:48:08
cadical-2.0.0515 B2026-02-08 02:48:08
frobby-0.9.0-r4508 B2026-02-03 23:51:01
coq-mathcomp-1.19.0-r1502 B2025-03-17 00:11:20
eprover-3.0.03497 B2026-02-03 23:51:01
prover9-2009.11a-r2497 B2026-02-03 23:51:01
eprover-3.2.5495 B2026-02-03 23:51:01
lpsolve-5.5.2.11-r2490 B2026-02-03 23:51:01
sympow-2.023.7483 B2026-02-03 23:51:01
kissat-3.1.1-r1481 B2026-02-03 23:51:01
functions-matlab-colormaps-1.0_p20250328481 B2025-06-20 17:06:07
ent-101202454 B2026-02-03 23:51:01
dsfmt-2.2.4448 B2026-02-03 23:51:01
num-utils-0.5-r2445 B2023-06-09 15:40:46
octave-epstk-2.4435 B2021-11-22 03:39:53
rngstreams-1.0.1431 B2026-01-26 13:20:13
metamath-databases-20220303420 B2023-03-04 16:40:16
sha1-polyml-5.9410 B2026-02-03 23:51:01
cliquer-1.23405 B2025-08-09 19:11:23
gp2c-0.0.14396 B2025-08-08 13:05:21
planarity-4.0.0.0395 B2025-06-22 20:11:03
planarity-3.0.2.0390 B2024-08-20 21:11:22
cliquer-1.22389 B2023-11-22 22:40:40
gp2c-0.0.12388 B2021-12-06 07:39:52
cadical-1.9.5386 B2026-02-03 23:51:01
lrcalc-2.1361 B2025-12-17 15:42:00
lrcalc-1.2354 B2025-12-17 15:42:00
picosat-965350 B2026-02-03 23:51:01
rw-0.9348 B2025-12-19 10:13:07
gmm-5.4.2335 B2025-12-19 10:13:07
verit-2021.06.2320 B2022-03-10 21:39:55
cudd-3.0.0295 B2022-12-18 22:10:27