Index of /results/gentoo/stats/ebuild_eapi_statistics/sort-by-eapi/EAPI8/sort-by-package/sci-mathematics/
../
4ti2.txt 14-Dec-2025 01:48 69
abc.txt 14-Dec-2025 01:48 137
acl2.txt 14-Dec-2025 01:48 145
alectryon.txt 14-Dec-2025 01:48 81
alt-ergo.txt 14-Dec-2025 01:48 93
arb.txt 14-Dec-2025 01:48 126
bertini.txt 14-Dec-2025 01:48 72
btor2tools.txt 14-Dec-2025 01:48 95
cadabra.txt 14-Dec-2025 01:48 228
cadical.txt 14-Dec-2025 01:48 148
cgal.txt 14-Dec-2025 01:48 334
clipper2.txt 14-Dec-2025 01:48 198
cliquer.txt 14-Dec-2025 01:48 105
coq-mathcomp.txt 14-Dec-2025 01:48 88
coq-serapi.txt 14-Dec-2025 01:48 81
coq-stdlib.txt 14-Dec-2025 01:48 83
coq.txt 14-Dec-2025 01:48 597
cryptominisat.txt 14-Dec-2025 01:48 91
cubicle.txt 14-Dec-2025 01:48 91
cudd.txt 14-Dec-2025 01:48 56
cvc4.txt 14-Dec-2025 01:48 60
dunshire.txt 14-Dec-2025 01:48 67
easycrypt.txt 14-Dec-2025 01:48 188
eclib.txt 14-Dec-2025 01:48 210
ent.txt 14-Dec-2025 01:48 67
eprover.txt 14-Dec-2025 01:48 149
fann.txt 14-Dec-2025 01:48 138
flint.txt 14-Dec-2025 01:48 213
flocq.txt 14-Dec-2025 01:48 70
form.txt 14-Dec-2025 01:48 178
fricas.txt 14-Dec-2025 01:48 91
frobby.txt 14-Dec-2025 01:48 75
functions-matlab-colormaps.txt 14-Dec-2025 01:48 110
gap.txt 14-Dec-2025 01:48 255
gappa.txt 14-Dec-2025 01:48 140
gappalib-coq.txt 14-Dec-2025 01:48 171
geogebra-bin.txt 14-Dec-2025 01:48 183
gfan.txt 14-Dec-2025 01:48 142
giac.txt 14-Dec-2025 01:48 119
gimps.txt 14-Dec-2025 01:48 466
ginac.txt 14-Dec-2025 01:48 88
glpk.txt 14-Dec-2025 01:48 147
gmm.txt 14-Dec-2025 01:48 57
gmp-ecm.txt 14-Dec-2025 01:48 109
gp2c.txt 14-Dec-2025 01:48 101
gretl.txt 14-Dec-2025 01:48 70
gsl-shell.txt 14-Dec-2025 01:48 78
jags.txt 14-Dec-2025 01:48 71
kind2.txt 14-Dec-2025 01:48 84
kissat.txt 14-Dec-2025 01:48 75
lcalc.txt 14-Dec-2025 01:48 207
lean.txt 14-Dec-2025 01:48 141
libpoly.txt 14-Dec-2025 01:48 75
lpsolve.txt 14-Dec-2025 01:48 98
manifold.txt 14-Dec-2025 01:48 299
mathematica.txt 14-Dec-2025 01:48 717
mathmod.txt 14-Dec-2025 01:48 76
mathomatic.txt 14-Dec-2025 01:48 84
maxima.txt 14-Dec-2025 01:48 279
metamath-databases.txt 14-Dec-2025 01:48 99
metamath.txt 14-Dec-2025 01:48 175
minisat.txt 14-Dec-2025 01:48 65
msieve.txt 14-Dec-2025 01:48 152
nauty.txt 14-Dec-2025 01:48 73
normaliz.txt 14-Dec-2025 01:48 307
octave.txt 14-Dec-2025 01:48 75
opensmt.txt 14-Dec-2025 01:48 148
palp.txt 14-Dec-2025 01:48 126
pari.txt 14-Dec-2025 01:48 384
petsc.txt 14-Dec-2025 01:48 267
picosat.txt 14-Dec-2025 01:48 72
planarity.txt 14-Dec-2025 01:48 224
plfit.txt 14-Dec-2025 01:48 170
polymake.txt 14-Dec-2025 01:48 225
primecount.txt 14-Dec-2025 01:48 114
primesieve.txt 14-Dec-2025 01:48 111
prng.txt 14-Dec-2025 01:48 71
prover9.txt 14-Dec-2025 01:48 80
proverif.txt 14-Dec-2025 01:48 270
psmt2-frontend.txt 14-Dec-2025 01:48 102
pspp.txt 14-Dec-2025 01:48 142
rkward.txt 14-Dec-2025 01:48 87
sha1-polyml.txt 14-Dec-2025 01:48 80
singular.txt 14-Dec-2025 01:48 273
slepc.txt 14-Dec-2025 01:48 178
smtinterpol.txt 14-Dec-2025 01:48 93
spin.txt 14-Dec-2025 01:48 73
stp.txt 14-Dec-2025 01:48 171
sympow.txt 14-Dec-2025 01:48 106
topcom.txt 14-Dec-2025 01:48 148
twelf.txt 14-Dec-2025 01:48 75
vampire.txt 14-Dec-2025 01:48 144
verifpal.txt 14-Dec-2025 01:48 77
verit.txt 14-Dec-2025 01:48 74
why3-for-spark.txt 14-Dec-2025 01:48 84
why3.txt 14-Dec-2025 01:48 604
wxmaxima.txt 14-Dec-2025 01:48 99
yacas.txt 14-Dec-2025 01:48 73
yafu.txt 14-Dec-2025 01:48 74
yices2.txt 14-Dec-2025 01:48 72
z3.txt 14-Dec-2025 01:48 142