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

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