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