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