Index of /results/gentoo/stats/ebuild_licenses_statistics/sort-by-package/sci-mathematics/
../
4ti2.txt 17-Mar-2026 01:44 152
abc.txt 17-Mar-2026 01:44 145
acl2.txt 17-Mar-2026 01:44 153
alectryon.txt 17-Mar-2026 01:44 85
alt-ergo.txt 17-Mar-2026 01:44 102
arb.txt 17-Mar-2026 01:44 133
bertini.txt 17-Mar-2026 01:44 80
btor2tools.txt 17-Mar-2026 01:44 99
cadabra.txt 17-Mar-2026 01:44 84
cadical.txt 17-Mar-2026 01:44 156
calc.txt 17-Mar-2026 01:44 78
cgal.txt 17-Mar-2026 01:44 449
clipper2.txt 17-Mar-2026 01:44 218
cliquer.txt 17-Mar-2026 01:44 224
coq-mathcomp.txt 17-Mar-2026 01:44 97
coq-serapi.txt 17-Mar-2026 01:44 88
coq-stdlib.txt 17-Mar-2026 01:44 181
coq.txt 17-Mar-2026 01:44 831
cryptominisat.txt 17-Mar-2026 01:44 101
cubicle.txt 17-Mar-2026 01:44 102
cudd.txt 17-Mar-2026 01:44 60
cvc4.txt 17-Mar-2026 01:44 66
dataplot.txt 17-Mar-2026 01:44 93
dsfmt.txt 17-Mar-2026 01:44 98
dunshire.txt 17-Mar-2026 01:44 75
easycrypt.txt 17-Mar-2026 01:44 196
eclib.txt 17-Mar-2026 01:44 122
ent.txt 17-Mar-2026 01:44 81
eprover.txt 17-Mar-2026 01:44 163
euler.txt 17-Mar-2026 01:44 80
fann.txt 17-Mar-2026 01:44 156
flint.txt 17-Mar-2026 01:44 348
flocq.txt 17-Mar-2026 01:44 77
form.txt 17-Mar-2026 01:44 282
fricas.txt 17-Mar-2026 01:44 194
frobby.txt 17-Mar-2026 01:44 81
functions-matlab-colormaps.txt 17-Mar-2026 01:44 117
gap.txt 17-Mar-2026 01:44 269
gappa.txt 17-Mar-2026 01:44 172
gappalib-coq.txt 17-Mar-2026 01:44 187
genius.txt 17-Mar-2026 01:44 68
geogebra-bin.txt 17-Mar-2026 01:44 409
geomview.txt 17-Mar-2026 01:44 88
gfan.txt 17-Mar-2026 01:44 156
giac.txt 17-Mar-2026 01:44 126
gimps.txt 17-Mar-2026 01:44 490
ginac.txt 17-Mar-2026 01:44 191
glpk.txt 17-Mar-2026 01:44 306
gmm.txt 17-Mar-2026 01:44 94
gmp-ecm.txt 17-Mar-2026 01:44 122
gp2c.txt 17-Mar-2026 01:44 216
gretl.txt 17-Mar-2026 01:44 76
gsl-shell.txt 17-Mar-2026 01:44 84
highs.txt 17-Mar-2026 01:44 90
jags.txt 17-Mar-2026 01:44 77
kind2.txt 17-Mar-2026 01:44 95
kissat.txt 17-Mar-2026 01:44 79
lcalc.txt 17-Mar-2026 01:44 109
lean.txt 17-Mar-2026 01:44 163
libpoly.txt 17-Mar-2026 01:44 83
lpsolve.txt 17-Mar-2026 01:44 107
lrcalc.txt 17-Mar-2026 01:44 218
manifold.txt 17-Mar-2026 01:44 332
mathematica.txt 17-Mar-2026 01:44 846
mathmod.txt 17-Mar-2026 01:44 83
mathomatic.txt 17-Mar-2026 01:44 93
maxima.txt 17-Mar-2026 01:44 348
metamath-databases.txt 17-Mar-2026 01:44 107
metamath.txt 17-Mar-2026 01:44 189
minisat.txt 17-Mar-2026 01:44 69
msieve.txt 17-Mar-2026 01:44 180
nauty.txt 17-Mar-2026 01:44 84
nestedsums.txt 17-Mar-2026 01:44 107
normaliz.txt 17-Mar-2026 01:44 331
num-utils.txt 17-Mar-2026 01:44 85
octave-epstk.txt 17-Mar-2026 01:44 88
octave.txt 17-Mar-2026 01:44 248
opensmt.txt 17-Mar-2026 01:44 156
otter.txt 17-Mar-2026 01:44 65
palp.txt 17-Mar-2026 01:44 132
pari-data.txt 17-Mar-2026 01:44 87
pari.txt 17-Mar-2026 01:44 492
petsc.txt 17-Mar-2026 01:44 380
picosat.txt 17-Mar-2026 01:44 76
planarity.txt 17-Mar-2026 01:44 232
plfit.txt 17-Mar-2026 01:44 100
polymake.txt 17-Mar-2026 01:44 312
primecount.txt 17-Mar-2026 01:44 236
primesieve.txt 17-Mar-2026 01:44 117
prng.txt 17-Mar-2026 01:44 77
prover9.txt 17-Mar-2026 01:44 86
proverif.txt 17-Mar-2026 01:44 291
psmt2-frontend.txt 17-Mar-2026 01:44 113
pspp.txt 17-Mar-2026 01:44 174
rkward.txt 17-Mar-2026 01:44 101
rngstreams.txt 17-Mar-2026 01:44 86
rw.txt 17-Mar-2026 01:44 116
sha1-polyml.txt 17-Mar-2026 01:44 86
singular.txt 17-Mar-2026 01:44 319
slepc.txt 17-Mar-2026 01:44 288
smtinterpol.txt 17-Mar-2026 01:44 100
spin.txt 17-Mar-2026 01:44 77
stp.txt 17-Mar-2026 01:44 193
sympow.txt 17-Mar-2026 01:44 117
topcom.txt 17-Mar-2026 01:44 160
twelf.txt 17-Mar-2026 01:44 81
unuran.txt 17-Mar-2026 01:44 156
vampire.txt 17-Mar-2026 01:44 154
verifpal.txt 17-Mar-2026 01:44 84
verit.txt 17-Mar-2026 01:44 78
why3-for-spark.txt 17-Mar-2026 01:44 90
why3.txt 17-Mar-2026 01:44 645
wxmaxima.txt 17-Mar-2026 01:44 207
yacas.txt 17-Mar-2026 01:44 79
yafu.txt 17-Mar-2026 01:44 88
yices2.txt 17-Mar-2026 01:44 79
z3.txt 17-Mar-2026 01:44 375