Index of /results/gentoo/stats/ebuild_eapi_statistics/sort-by-package/sci-mathematics/
../
4ti2.txt 17-Mar-2026 01:44 140
abc.txt 17-Mar-2026 01:44 137
acl2.txt 17-Mar-2026 01:44 145
alectryon.txt 17-Mar-2026 01:44 81
alt-ergo.txt 17-Mar-2026 01:44 93
arb.txt 17-Mar-2026 01:44 126
bertini.txt 17-Mar-2026 01:44 72
btor2tools.txt 17-Mar-2026 01:44 95
cadabra.txt 17-Mar-2026 01:44 78
cadical.txt 17-Mar-2026 01:44 148
calc.txt 17-Mar-2026 01:44 71
cgal.txt 17-Mar-2026 01:44 334
clipper2.txt 17-Mar-2026 01:44 198
cliquer.txt 17-Mar-2026 01:44 210
coq-mathcomp.txt 17-Mar-2026 01:44 88
coq-serapi.txt 17-Mar-2026 01:44 81
coq-stdlib.txt 17-Mar-2026 01:44 163
coq.txt 17-Mar-2026 01:44 743
cryptominisat.txt 17-Mar-2026 01:44 91
cubicle.txt 17-Mar-2026 01:44 91
cudd.txt 17-Mar-2026 01:44 56
cvc4.txt 17-Mar-2026 01:44 60
dataplot.txt 17-Mar-2026 01:44 79
dsfmt.txt 17-Mar-2026 01:44 94
dunshire.txt 17-Mar-2026 01:44 67
easycrypt.txt 17-Mar-2026 01:44 188
eclib.txt 17-Mar-2026 01:44 105
ent.txt 17-Mar-2026 01:44 67
eprover.txt 17-Mar-2026 01:44 149
euler.txt 17-Mar-2026 01:44 74
fann.txt 17-Mar-2026 01:44 138
flint.txt 17-Mar-2026 01:44 318
flocq.txt 17-Mar-2026 01:44 70
form.txt 17-Mar-2026 01:44 264
fricas.txt 17-Mar-2026 01:44 182
frobby.txt 17-Mar-2026 01:44 75
functions-matlab-colormaps.txt 17-Mar-2026 01:44 110
gap.txt 17-Mar-2026 01:44 255
gappa.txt 17-Mar-2026 01:44 140
gappalib-coq.txt 17-Mar-2026 01:44 171
genius.txt 17-Mar-2026 01:44 61
geogebra-bin.txt 17-Mar-2026 01:44 183
geomview.txt 17-Mar-2026 01:44 79
gfan.txt 17-Mar-2026 01:44 142
giac.txt 17-Mar-2026 01:44 119
gimps.txt 17-Mar-2026 01:44 466
ginac.txt 17-Mar-2026 01:44 177
glpk.txt 17-Mar-2026 01:44 294
gmm.txt 17-Mar-2026 01:44 57
gmp-ecm.txt 17-Mar-2026 01:44 109
gp2c.txt 17-Mar-2026 01:44 202
gretl.txt 17-Mar-2026 01:44 70
gsl-shell.txt 17-Mar-2026 01:44 78
highs.txt 17-Mar-2026 01:44 86
jags.txt 17-Mar-2026 01:44 71
kind2.txt 17-Mar-2026 01:44 84
kissat.txt 17-Mar-2026 01:44 75
lcalc.txt 17-Mar-2026 01:44 102
lean.txt 17-Mar-2026 01:44 141
libpoly.txt 17-Mar-2026 01:44 75
lpsolve.txt 17-Mar-2026 01:44 98
lrcalc.txt 17-Mar-2026 01:44 204
manifold.txt 17-Mar-2026 01:44 299
mathematica.txt 17-Mar-2026 01:44 726
mathmod.txt 17-Mar-2026 01:44 76
mathomatic.txt 17-Mar-2026 01:44 84
maxima.txt 17-Mar-2026 01:44 279
metamath-databases.txt 17-Mar-2026 01:44 99
metamath.txt 17-Mar-2026 01:44 175
minisat.txt 17-Mar-2026 01:44 65
msieve.txt 17-Mar-2026 01:44 152
nauty.txt 17-Mar-2026 01:44 73
nestedsums.txt 17-Mar-2026 01:44 101
normaliz.txt 17-Mar-2026 01:44 307
num-utils.txt 17-Mar-2026 01:44 79
octave-epstk.txt 17-Mar-2026 01:44 82
octave.txt 17-Mar-2026 01:44 230
opensmt.txt 17-Mar-2026 01:44 148
otter.txt 17-Mar-2026 01:44 59
palp.txt 17-Mar-2026 01:44 126
pari-data.txt 17-Mar-2026 01:44 81
pari.txt 17-Mar-2026 01:44 465
petsc.txt 17-Mar-2026 01:44 356
picosat.txt 17-Mar-2026 01:44 72
planarity.txt 17-Mar-2026 01:44 224
plfit.txt 17-Mar-2026 01:44 85
polymake.txt 17-Mar-2026 01:44 225
primecount.txt 17-Mar-2026 01:44 224
primesieve.txt 17-Mar-2026 01:44 111
prng.txt 17-Mar-2026 01:44 71
prover9.txt 17-Mar-2026 01:44 80
proverif.txt 17-Mar-2026 01:44 270
psmt2-frontend.txt 17-Mar-2026 01:44 102
pspp.txt 17-Mar-2026 01:44 142
rkward.txt 17-Mar-2026 01:44 87
rngstreams.txt 17-Mar-2026 01:44 80
rw.txt 17-Mar-2026 01:44 109
sha1-polyml.txt 17-Mar-2026 01:44 80
singular.txt 17-Mar-2026 01:44 273
slepc.txt 17-Mar-2026 01:44 267
smtinterpol.txt 17-Mar-2026 01:44 93
spin.txt 17-Mar-2026 01:44 73
stp.txt 17-Mar-2026 01:44 171
sympow.txt 17-Mar-2026 01:44 106
topcom.txt 17-Mar-2026 01:44 148
twelf.txt 17-Mar-2026 01:44 75
unuran.txt 17-Mar-2026 01:44 144
vampire.txt 17-Mar-2026 01:44 146
verifpal.txt 17-Mar-2026 01:44 77
verit.txt 17-Mar-2026 01:44 74
why3-for-spark.txt 17-Mar-2026 01:44 84
why3.txt 17-Mar-2026 01:44 604
wxmaxima.txt 17-Mar-2026 01:44 195
yacas.txt 17-Mar-2026 01:44 73
yafu.txt 17-Mar-2026 01:44 74
yices2.txt 17-Mar-2026 01:44 72
z3.txt 17-Mar-2026 01:44 355