Folder Path

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

0 directories 193 files 235 KiB total
List Grid
Name
Size Modified
Up
4ti2-1.6.10
964 B
4ti2-1.6.7-r1
866 B
abc-0_p20230313
600 B
abc-9999
559 B
acl2-8.5_p20240307-r1
689 B
acl2-8.6
678 B
alectryon-1.4.0-r2
2.5 KiB
alt-ergo-2.4.3-r3
1.2 KiB
arb-2.23.0
947 B
bertini-1.4
571 B
bertini-1.6
623 B
btor2tools-1.0.0_pre20220518-r1
757 B
cadabra-2.4.5.4
2.8 KiB
cadabra-2.4.5.6
2.8 KiB
cadabra-2.4.5.7
2.8 KiB
cadical-1.9.5
386 B
cadical-2.0.0
515 B
calc-2.13.0.1
566 B
cgal-5.6
1.1 KiB
cgal-5.6.1
1.1 KiB
cgal-6.0
1.1 KiB
cgal-6.0.1
1.2 KiB
clipper2-1.5.3
775 B
clipper2-1.5.4
775 B
cliquer-1.22
389 B
cliquer-1.23
405 B
coq-8.17.1-r1
1.4 KiB
coq-8.19.2-r1
1.4 KiB
coq-8.20.0-r1
1.4 KiB
coq-9.0.0
1.3 KiB
coq-9.1.0-r1
1.3 KiB
coq-mathcomp-1.19.0-r1
502 B
coq-serapi-0.20.0
1.3 KiB
coq-stdlib-9.0.0-r1
685 B
cryptominisat-5.11.21-r2
1.9 KiB
cubicle-1.2.0-r2
1.1 KiB
cudd-3.0.0
295 B
cvc4-1.8-r6
1.2 KiB
dataplot-20131220
1.3 KiB
dsfmt-2.2.4
472 B
dunshire-0.1.3-r2
2.1 KiB
easycrypt-2025.03
1.0 KiB
easycrypt-2025.08
1.0 KiB
easycrypt-2025.10
1.1 KiB
eclib-20250122
653 B
eclib-20250627
654 B
ent-101202
478 B
eprover-3.0.03
497 B
eprover-3.0_pre008
504 B
euler-1.61.0-r1
793 B
fann-2.2.0-r2
681 B
fann-9999
739 B
flint-3.1.3_p1-r4
1.0 KiB
flint-3.3.1-r1
1.0 KiB
flocq-4.2.1
541 B
form-4.3.1
1.3 KiB
form-5.0.0_beta1
1.3 KiB
fricas-1.3.12
1.4 KiB
frobby-0.9.0-r4
508 B
functions-matlab-colormaps-1.0_p20250328
481 B
gap-4.14.0-r1
1.1 KiB
gap-4.15.0
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.0 KiB
gfan-0.6.2-r6
721 B
gfan-0.6.2-r7
722 B
giac-1.9.0.995-r2
1.9 KiB
gimps-30.19.14
870 B
gimps-30.19.20
869 B
gimps-30.8.15
839 B
gimps-30.8.17
716 B
ginac-1.8.9
854 B
glpk-5.0-r3
1.3 KiB
gmm-5.4.2
359 B
gmp-ecm-7.0.6-r1
646 B
gp2c-0.0.12
388 B
gp2c-0.0.14
396 B
gretl-2021d
1.8 KiB
gsl-shell-2.3.5
1.5 KiB
jags-4.3.1-r1
982 B
kind2-1.9.0
843 B
kissat-3.1.1-r1
481 B
lcalc-2.0.5-r2
676 B
lcalc-2.1.1
841 B
lean-4.14.0-r1
1.1 KiB
libpoly-0.1.11
1.6 KiB
lpsolve-5.5.2.11-r2
514 B
lrcalc-1.2
365 B
lrcalc-2.1
372 B
Manifest.gz
31 KiB
manifold-3.0.1
2.3 KiB
manifold-3.0.2_pre20250330
2.4 KiB
manifold-3.1.0-r1
2.3 KiB
manifold-9999
2.3 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
1002 B
mathematica-13.1.0
1.1 KiB
mathematica-13.2.1
1.0 KiB
mathematica-13.3.1-r1
1.5 KiB
mathematica-14.0.0-r1
1.5 KiB
mathematica-14.1.0-r1
1.5 KiB
mathmod-12.0
814 B
mathmod-12.1
854 B
mathomatic-16.0.5-r1
653 B
maxima-5.47.0-r2
3.1 KiB
maxima-5.48.1
3.1 KiB
metamath-0.198
721 B
metamath-databases-20220303
420 B
minisat-2.2.1-r1
829 B
msieve-1.53-r1
659 B
msieve-1.53-r3
785 B
nauty-2.8.8-r1
1.0 KiB
nestedsums-1.5.2-r1
618 B
normaliz-3.10.1
989 B
normaliz-3.10.5
640 B
normaliz-3.9.3
637 B
num-utils-0.5-r2
445 B
octave-9.2.0-r2
4.2 KiB
octave-epstk-2.4
435 B
opensmt-2.5.2
1.1 KiB
opensmt-2.7.0
1010 B
otter-3.3-r4
569 B
palp-2.21
538 B
pari-2.15.5
1.0 KiB
pari-2.17.1
1.0 KiB
pari-2.17.2
1.0 KiB
pari-data-20191216
725 B
petsc-3.22.2
1.9 KiB
petsc-3.23.3
2.1 KiB
petsc-3.23.4
2.1 KiB
picosat-965
350 B
planarity-3.0.2.0
390 B
planarity-4.0.0.0
395 B
plfit-0.9.5
735 B
polymake-4.13
1.7 KiB
polymake-4.14
1.7 KiB
primecount-7.13-r1
885 B
primesieve-12.3
893 B
prng-3.0.2-r4
739 B
prover9-2009.11a-r2
497 B
proverif-2.04-r1
773 B
proverif-2.05
759 B
proverif-9999
769 B
psmt2-frontend-0.4.0
827 B
pspp-1.6.2-r3
1.5 KiB
pspp-2.0.1-r1
1.5 KiB
rkward-0.8.1
2.8 KiB
rkward-0.8.2
2.8 KiB
rngstreams-1.0.1
455 B
rw-0.9
383 B
sha1-polyml-5.9
410 B
singular-4.4.1
972 B
singular-4.4.1-r1
973 B
slepc-3.22.1
1020 B
slepc-3.23.1
1.0 KiB
smtinterpol-2.5_p20211018-r1
751 B
spin-6.5.2-r1
652 B
stp-2.3.3-r3
1.9 KiB
stp-2.3.4
1.9 KiB
sympow-2.023.7
483 B
topcom-0.17.8-r3
1.1 KiB
topcom-1.1.2
999 B
twelf-1.7.1-r2
785 B
unuran-1.8.1
653 B
unuran-1.9.0
1.0 KiB
vampire-4.8
914 B
vampire-4.9
914 B
verifpal-0.27.0
753 B
verit-2021.06.2
320 B
why3-1.6.0
1.9 KiB
why3-1.7.2
1.9 KiB
why3-1.8.0
1.9 KiB
why3-1.8.1
1.9 KiB
why3-1.8.2
1.9 KiB
why3-for-spark-2021-r1
2.0 KiB
why3-for-spark-2023.12.13-r2
2.0 KiB
wxmaxima-25.04.0-r2
1.2 KiB
yacas-1.9.1-r2
1.1 KiB
yafu-1.34.3-r2
764 B
yices2-2.6.4-r1
919 B
yices2-2.6.5
965 B
z3-4.15.3
2.4 KiB