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