Index of /results/gentoo/stats/ebuild_eclass_statistics/sort-by-package/sci-mathematics/
../
4ti2.txt 01-Feb-2026 01:40 160
abc.txt 01-Feb-2026 01:40 176
acl2.txt 01-Feb-2026 01:40 171
alectryon.txt 01-Feb-2026 01:40 107
alt-ergo.txt 01-Feb-2026 01:40 98
arb.txt 01-Feb-2026 01:40 132
bertini.txt 01-Feb-2026 01:40 202
btor2tools.txt 01-Feb-2026 01:40 101
cadabra.txt 01-Feb-2026 01:40 220
cadical.txt 01-Feb-2026 01:40 186
calc.txt 01-Feb-2026 01:40 87
cgal.txt 01-Feb-2026 01:40 364
clipper2.txt 01-Feb-2026 01:40 236
coq-serapi.txt 01-Feb-2026 01:40 99
coq-stdlib.txt 01-Feb-2026 01:40 88
coq.txt 01-Feb-2026 01:40 672
cryptominisat.txt 01-Feb-2026 01:40 110
cubicle.txt 01-Feb-2026 01:40 114
cvc4.txt 01-Feb-2026 01:40 80
dataplot.txt 01-Feb-2026 01:40 128
dsfmt.txt 01-Feb-2026 01:40 110
dunshire.txt 01-Feb-2026 01:40 80
easycrypt.txt 01-Feb-2026 01:40 198
eclib.txt 01-Feb-2026 01:40 115
ent.txt 01-Feb-2026 01:40 83
eprover.txt 01-Feb-2026 01:40 181
euler.txt 01-Feb-2026 01:40 84
fann.txt 01-Feb-2026 01:40 173
flint.txt 01-Feb-2026 01:40 267
flocq.txt 01-Feb-2026 01:40 86
form.txt 01-Feb-2026 01:40 282
fricas.txt 01-Feb-2026 01:40 113
frobby.txt 01-Feb-2026 01:40 91
gap.txt 01-Feb-2026 01:40 269
gappa.txt 01-Feb-2026 01:40 182
gappalib-coq.txt 01-Feb-2026 01:40 203
genius.txt 01-Feb-2026 01:40 68
geogebra-bin.txt 01-Feb-2026 01:40 214
geomview.txt 01-Feb-2026 01:40 117
gfan.txt 01-Feb-2026 01:40 200
giac.txt 01-Feb-2026 01:40 152
gimps.txt 01-Feb-2026 01:40 642
ginac.txt 01-Feb-2026 01:40 102
glpk.txt 01-Feb-2026 01:40 186
gmp-ecm.txt 01-Feb-2026 01:40 125
gretl.txt 01-Feb-2026 01:40 109
gsl-shell.txt 01-Feb-2026 01:40 103
highs.txt 01-Feb-2026 01:40 92
jags.txt 01-Feb-2026 01:40 97
kind2.txt 01-Feb-2026 01:40 89
kissat.txt 01-Feb-2026 01:40 91
lcalc.txt 01-Feb-2026 01:40 110
lean.txt 01-Feb-2026 01:40 229
libpoly.txt 01-Feb-2026 01:40 98
lpsolve.txt 01-Feb-2026 01:40 114
manifold.txt 01-Feb-2026 01:40 375
mathematica.txt 01-Feb-2026 01:40 2162
mathmod.txt 01-Feb-2026 01:40 100
mathomatic.txt 01-Feb-2026 01:40 113
maxima.txt 01-Feb-2026 01:40 468
metamath.txt 01-Feb-2026 01:40 86
minisat.txt 01-Feb-2026 01:40 71
msieve.txt 01-Feb-2026 01:40 190
nauty.txt 01-Feb-2026 01:40 83
nestedsums.txt 01-Feb-2026 01:40 114
normaliz.txt 01-Feb-2026 01:40 381
octave.txt 01-Feb-2026 01:40 165
opensmt.txt 01-Feb-2026 01:40 160
otter.txt 01-Feb-2026 01:40 88
palp.txt 01-Feb-2026 01:40 142
pari.txt 01-Feb-2026 01:40 471
petsc.txt 01-Feb-2026 01:40 426
picosat.txt 01-Feb-2026 01:40 88
plfit.txt 01-Feb-2026 01:40 91
polymake.txt 01-Feb-2026 01:40 348
primecount.txt 01-Feb-2026 01:40 268
primesieve.txt 01-Feb-2026 01:40 117
prng.txt 01-Feb-2026 01:40 81
prover9.txt 01-Feb-2026 01:40 96
proverif.txt 01-Feb-2026 01:40 352
psmt2-frontend.txt 01-Feb-2026 01:40 107
pspp.txt 01-Feb-2026 01:40 178
rkward.txt 01-Feb-2026 01:40 114
rngstreams.txt 01-Feb-2026 01:40 94
sha1-polyml.txt 01-Feb-2026 01:40 96
singular.txt 01-Feb-2026 01:40 299
slepc.txt 01-Feb-2026 01:40 206
smtinterpol.txt 01-Feb-2026 01:40 104
spin.txt 01-Feb-2026 01:40 97
stp.txt 01-Feb-2026 01:40 243
sympow.txt 01-Feb-2026 01:40 122
topcom.txt 01-Feb-2026 01:40 181
twelf.txt 01-Feb-2026 01:40 101
unuran.txt 01-Feb-2026 01:40 182
vampire.txt 01-Feb-2026 01:40 184
verifpal.txt 01-Feb-2026 01:40 87
why3-for-spark.txt 01-Feb-2026 01:40 198
why3.txt 01-Feb-2026 01:40 808
wxmaxima.txt 01-Feb-2026 01:40 251
yacas.txt 01-Feb-2026 01:40 83
yafu.txt 01-Feb-2026 01:40 113
yices2.txt 01-Feb-2026 01:40 82
z3.txt 01-Feb-2026 01:40 236