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