Index of /results/gentoo/stats/packages_source_size/sort-by-package/sci-mathematics/
../
4ti2.txt 17-Mar-2026 01:46 104
alectryon.txt 17-Mar-2026 01:46 108
alt-ergo.txt 17-Mar-2026 01:46 122
arb.txt 17-Mar-2026 01:46 162
bertini.txt 17-Mar-2026 01:46 107
cadabra.txt 17-Mar-2026 01:46 107
calc.txt 17-Mar-2026 01:46 103
cgal.txt 17-Mar-2026 01:46 107
clipper2.txt 17-Mar-2026 01:46 131
coq-stdlib.txt 17-Mar-2026 01:46 110
coq.txt 17-Mar-2026 01:46 213
cryptominisat.txt 17-Mar-2026 01:46 112
cubicle.txt 17-Mar-2026 01:46 120
cvc4.txt 17-Mar-2026 01:46 95
dataplot.txt 17-Mar-2026 01:46 108
dsfmt.txt 17-Mar-2026 01:46 129
easycrypt.txt 17-Mar-2026 01:46 123
eclib.txt 17-Mar-2026 01:46 136
ent.txt 17-Mar-2026 01:46 100
eprover.txt 17-Mar-2026 01:46 107
euler.txt 17-Mar-2026 01:46 105
flint.txt 17-Mar-2026 01:46 137
form.txt 17-Mar-2026 01:46 122
fricas.txt 17-Mar-2026 01:46 124
gap.txt 17-Mar-2026 01:46 162
geogebra-bin.txt 17-Mar-2026 01:46 116
geomview.txt 17-Mar-2026 01:46 108
gfan.txt 17-Mar-2026 01:46 104
ginac.txt 17-Mar-2026 01:46 123
glpk.txt 17-Mar-2026 01:46 182
gmm.txt 17-Mar-2026 01:46 93
gmp-ecm.txt 17-Mar-2026 01:46 138
gretl.txt 17-Mar-2026 01:46 105
highs.txt 17-Mar-2026 01:46 120
jags.txt 17-Mar-2026 01:46 104
lcalc.txt 17-Mar-2026 01:46 136
lean.txt 17-Mar-2026 01:46 104
lpsolve.txt 17-Mar-2026 01:46 124
lrcalc.txt 17-Mar-2026 01:46 137
manifold.txt 17-Mar-2026 01:46 131
mathematica.txt 17-Mar-2026 01:46 150
mathmod.txt 17-Mar-2026 01:46 107
mathomatic.txt 17-Mar-2026 01:46 109
maxima.txt 17-Mar-2026 01:46 126
minisat.txt 17-Mar-2026 01:46 94
msieve.txt 17-Mar-2026 01:46 107
nauty.txt 17-Mar-2026 01:46 105
normaliz.txt 17-Mar-2026 01:46 108
octave.txt 17-Mar-2026 01:46 106
opensmt.txt 17-Mar-2026 01:46 107
otter.txt 17-Mar-2026 01:46 93
pari-data.txt 17-Mar-2026 01:46 109
pari.txt 17-Mar-2026 01:46 272
petsc.txt 17-Mar-2026 01:46 123
plfit.txt 17-Mar-2026 01:46 119
polymake.txt 17-Mar-2026 01:46 108
primecount.txt 17-Mar-2026 01:46 142
prng.txt 17-Mar-2026 01:46 103
pspp.txt 17-Mar-2026 01:46 104
rkward.txt 17-Mar-2026 01:46 121
rngstreams.txt 17-Mar-2026 01:46 109
rw.txt 17-Mar-2026 01:46 148
singular.txt 17-Mar-2026 01:46 167
slepc.txt 17-Mar-2026 01:46 123
stp.txt 17-Mar-2026 01:46 121
unuran.txt 17-Mar-2026 01:46 106
vampire.txt 17-Mar-2026 01:46 107
why3-for-spark.txt 17-Mar-2026 01:46 102
why3.txt 17-Mar-2026 01:46 242
wxmaxima.txt 17-Mar-2026 01:46 126
yafu.txt 17-Mar-2026 01:46 105
yices2.txt 17-Mar-2026 01:46 106
z3.txt 17-Mar-2026 01:46 108