Index of /results/gentoo/stats/ebuild_redundant_version/sort-by-package/sci-mathematics/
../
4ti2.txt 06-Dec-2025 01:53 87
acl2.txt 06-Dec-2025 01:53 92
bertini.txt 06-Dec-2025 01:53 85
cadabra.txt 06-Dec-2025 01:53 93
cadical.txt 06-Dec-2025 01:53 89
cgal.txt 06-Dec-2025 01:53 257
clipper2.txt 06-Dec-2025 01:53 114
coq.txt 06-Dec-2025 01:53 272
easycrypt.txt 06-Dec-2025 01:53 111
eprover.txt 06-Dec-2025 01:53 90
form.txt 06-Dec-2025 01:53 107
gappa.txt 06-Dec-2025 01:53 85
gappalib-coq.txt 06-Dec-2025 01:53 102
gimps.txt 06-Dec-2025 01:53 403
lrcalc.txt 06-Dec-2025 01:53 115
mathematica.txt 06-Dec-2025 01:53 1976
mathmod.txt 06-Dec-2025 01:53 87
maxima.txt 06-Dec-2025 01:53 110
msieve.txt 06-Dec-2025 01:53 93
normaliz.txt 06-Dec-2025 01:53 92
opensmt.txt 06-Dec-2025 01:53 89
pari.txt 06-Dec-2025 01:53 144
petsc.txt 06-Dec-2025 01:53 217
planarity.txt 06-Dec-2025 01:53 129
polymake.txt 06-Dec-2025 01:53 178
proverif.txt 06-Dec-2025 01:53 106
slepc.txt 06-Dec-2025 01:53 105
stp.txt 06-Dec-2025 01:53 102
topcom.txt 06-Dec-2025 01:53 91
unuran.txt 06-Dec-2025 01:53 87
vampire.txt 06-Dec-2025 01:53 85
why3.txt 06-Dec-2025 01:53 512