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