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