mirrors.tnonline.net
Folder Path

/gentoo/gentoo-portage/metadata/md5-cache/sci-mathematics/

0 directories 197 files
List Grid
Name
Size Modified
Up
4ti2-1.6.7-r1
944 B
abc-0_p20230313
642 B
abc-9999
601 B
acl2-8.5-r2
648 B
acl2-8.5_p20240307
705 B
alectryon-1.4.0-r2
3.1 KiB
alt-ergo-2.4.3-r2
1.3 KiB
arb-2.23.0
989 B
bertini-1.4
613 B
bertini-1.6
665 B
boolector-3.2.3
2.0 KiB
boolector-3.2.4
2.2 KiB
btor2tools-1.0.0_pre20220518-r1
799 B
cadabra-2.4.5.4
3.6 KiB
cadabra-2.4.5.6
3.6 KiB
cadabra-2.4.5.7
3.6 KiB
cadical-1.9.5
427 B
cadical-2.0.0
466 B
calc-2.13.0.1
608 B
cgal-5.6
1.2 KiB
cgal-5.6.1
1.2 KiB
cgal-6.0
1.2 KiB
cgal-6.0.1
1.2 KiB
clipper2-1.4.0
793 B
cliquer-1.22
389 B
coq-8.19.2
1.4 KiB
coq-8.20.0
1.4 KiB
coq-mathcomp-1.19.0
442 B
coq-serapi-0.20.0
1.3 KiB
cryptominisat-5.11.21-r1
2.7 KiB
cubicle-1.2.0-r2
1.2 KiB
cudd-3.0.0
295 B
cvc4-1.8-r5
1.4 KiB
dataplot-20131220
1.4 KiB
diagrtb-2.64
950 B
dsfmt-2.2.4
514 B
dunshire-0.1.3-r1
2.1 KiB
easycrypt-2024.01-r1
1.1 KiB
easycrypt-2024.09
1.1 KiB
eclib-20231212
1.1 KiB
eclib-20240408
1.1 KiB
eclib-20241112
655 B
ent-101202
520 B
eprover-3.0.03
539 B
eprover-3.0_pre008
546 B
euler-1.61.0-r1
871 B
fann-2.2.0-r1
731 B
fann-9999
735 B
flint-3.1.3_p1-r1
1.3 KiB
flocq-4.1.0-r1
541 B
flocq-4.1.1
541 B
form-4.3.1
1.4 KiB
form-5.0.0_beta1
1.4 KiB
fricas-1.3.11-r3
1.4 KiB
frobby-0.9.0-r4
550 B
gap-4.13.1
1.1 KiB
gap-4.13.1-r2
1.1 KiB
gap-4.14.0_beta1
1.1 KiB
gappa-1.4.1
644 B
gappa-1.4.2
644 B
gappalib-coq-1.5.2-r1
704 B
gappalib-coq-1.5.3
704 B
genius-1.0.27
1.6 KiB
geogebra-bin-5.0.752.0
895 B
geogebra-bin-6.0.804.0
1.0 KiB
geomview-1.9.5-r1
1.1 KiB
gfan-0.6.2-r4
705 B
gfan-0.6.2-r6
764 B
giac-1.9.0.29-r1
1.9 KiB
giac-1.9.0.995-r1
2.0 KiB
gimps-30.19.14
912 B
gimps-30.19.20
911 B
gimps-30.8.15
881 B
gimps-30.8.17
758 B
ginac-1.8.7-r1
862 B
ginac-1.8.7-r2
874 B
ginac-1.8.7-r3
896 B
glpk-5.0-r1
1.3 KiB
glpk-5.0-r3
1.3 KiB
gmm-5.4
534 B
gmm-5.4.2
359 B
gmp-ecm-7.0.5-r1
685 B
gp2c-0.0.12
388 B
gretl-2021d
1.9 KiB
gsl-shell-2.3.5
1.6 KiB
jags-4.3.1-r1
1.0 KiB
kind2-1.9.0
851 B
kissat-3.1.0
523 B
kissat-3.1.1
523 B
lcalc-2.0.5-r2
676 B
lean-3.51.1
889 B
lean-4.11.0
997 B
lean-4.2.0
973 B
libpoly-0.1.11
2.0 KiB
lpsolve-5.5.2.11-r2
556 B
lrcalc-1.2
365 B
lrcalc-2.1
372 B
Manifest.gz
32 KiB
manifold-3.0.0_pre20241115
2.8 KiB
mathematica-10.3.1-r1
671 B
mathematica-10.3.1-r2
691 B
mathematica-12.1.0
671 B
mathematica-12.1.1-r1
671 B
mathematica-12.2.0
671 B
mathematica-13.0.0
676 B
mathematica-13.0.1
1.0 KiB
mathematica-13.1.0
1.1 KiB
mathematica-13.2.1
1.1 KiB
mathematica-13.3.1
1.5 KiB
mathematica-14.0.0
1.5 KiB
mathematica-14.1.0
1.5 KiB
mathlib-tools-1.3.2_p1
5.7 KiB
mathmod-11.1
926 B
mathomatic-16.0.5-r1
695 B
maxima-5.46.0-r1
3.0 KiB
maxima-5.47.0
3.0 KiB
maxima-5.47.0-r1
3.2 KiB
metamath-0.198
799 B
metamath-databases-20220303
420 B
minisat-2.2.1-r1
871 B
msieve-1.53-r1
701 B
nauty-2.8.8-r1
1.1 KiB
nestedsums-1.5.2-r1
660 B
normaliz-3.10.1
1.0 KiB
normaliz-3.9.3
679 B
num-utils-0.5-r2
445 B
octave-8.3.0-r2
4.4 KiB
octave-9.2.0-r1
4.2 KiB
octave-epstk-2.4
435 B
opensmt-2.5.2
1.1 KiB
otter-3.3-r4
611 B
palp-2.21
580 B
pari-2.15.5
1.1 KiB
pari-data-20191216
725 B
petsc-3.16.0-r2
2.2 KiB
petsc-3.17.1-r2
2.0 KiB
petsc-3.18.2-r1
2.0 KiB
petsc-3.19.1-r1
2.0 KiB
petsc-3.19.2-r1
2.0 KiB
petsc-3.19.4-r1
2.0 KiB
petsc-3.20.5-r1
2.0 KiB
petsc-3.21.3
2.0 KiB
picosat-965
392 B
planarity-3.0.2.0
390 B
plfit-0.9.3
777 B
plfit-0.9.5
779 B
polymake-4.11
1.7 KiB
polymake-4.13
1.7 KiB
primecount-7.13-r1
928 B
primecount-7.6
939 B
primesieve-11.0
867 B
primesieve-12.3
906 B
prng-3.0.2-r3
817 B
prover9-2009.11a-r1
539 B
proverif-2.04-r1
773 B
proverif-2.05
759 B
proverif-9999
769 B
psmt2-frontend-0.4.0
828 B
pspp-1.6.2-r2
1.6 KiB
rkward-0.8.0
2.9 KiB
rngstreams-1.0.1
455 B
rw-0.9
383 B
sha1-polyml-5.9
452 B
singular-4.3.2_p16-r1
1.4 KiB
singular-4.4.0_p6
975 B
slepc-3.16.0
979 B
slepc-3.17.1
979 B
slepc-3.18.1
968 B
slepc-3.19.0
1.0 KiB
slepc-3.19.1
1.0 KiB
slepc-3.20.1
1.0 KiB
slepc-3.21.1
1.1 KiB
smtinterpol-2.5_p20211018-r1
751 B
spin-6.5.2-r1
694 B
stp-2.3.3-r3
2.1 KiB
stp-2.3.4
2.1 KiB
sympow-2.023.6
524 B
sympow-2.023.7
526 B
topcom-0.17.8-r3
1.1 KiB
topcom-1.1.2
1.1 KiB
twelf-1.7.1-r2
827 B
unuran-1.8.1
653 B
unuran-1.9.0
1.1 KiB
vampire-4.8
956 B
vampire-4.9
956 B
verifpal-0.27.0
810 B
verit-2021.06.2
320 B
why3-1.6.0
2.0 KiB
why3-1.7.2
2.0 KiB
why3-for-spark-2021-r1
2.1 KiB
wxmaxima-24.02.1
1.2 KiB
wxmaxima-24.05.0
1.2 KiB
wxmaxima-24.08.0
1.2 KiB
yacas-1.9.1-r1
1.6 KiB
yafu-1.34.3-r1
734 B
yices2-2.6.4-r1
997 B
z3-4.13.3
2.5 KiB