Index of /results/gentoo/stats/packages_source_size/sort-by-package/sci-mathematics/

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