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

../
alt-ergo.txt                                       06-Dec-2025 01:53                 122
cgal.txt                                           06-Dec-2025 01:53                 107
clipper2.txt                                       06-Dec-2025 01:53                 131
coq-stdlib.txt                                     06-Dec-2025 01:53                 110
coq.txt                                            06-Dec-2025 01:53                 213
cryptominisat.txt                                  06-Dec-2025 01:53                 112
cubicle.txt                                        06-Dec-2025 01:53                 120
cvc4.txt                                           06-Dec-2025 01:53                  95
easycrypt.txt                                      06-Dec-2025 01:53                 123
eprover.txt                                        06-Dec-2025 01:53                 107
form.txt                                           06-Dec-2025 01:53                 122
fricas.txt                                         06-Dec-2025 01:53                 124
gap.txt                                            06-Dec-2025 01:53                 162
geogebra-bin.txt                                   06-Dec-2025 01:53                 116
geomview.txt                                       06-Dec-2025 01:53                 108
glpk.txt                                           06-Dec-2025 01:53                 182
gmm.txt                                            06-Dec-2025 01:53                  93
lean.txt                                           06-Dec-2025 01:53                 104
manifold.txt                                       06-Dec-2025 01:53                 131
mathematica.txt                                    06-Dec-2025 01:53                 150
mathmod.txt                                        06-Dec-2025 01:53                 107
maxima.txt                                         06-Dec-2025 01:53                 124
minisat.txt                                        06-Dec-2025 01:53                  94
msieve.txt                                         06-Dec-2025 01:53                 107
nauty.txt                                          06-Dec-2025 01:53                 105
octave.txt                                         06-Dec-2025 01:53                 106
opensmt.txt                                        06-Dec-2025 01:53                 107
plfit.txt                                          06-Dec-2025 01:53                 119
polymake.txt                                       06-Dec-2025 01:53                 108
prng.txt                                           06-Dec-2025 01:53                 103
pspp.txt                                           06-Dec-2025 01:53                 104
rkward.txt                                         06-Dec-2025 01:53                 121
stp.txt                                            06-Dec-2025 01:53                 121
why3-for-spark.txt                                 06-Dec-2025 01:53                 102
why3.txt                                           06-Dec-2025 01:53                 242
yafu.txt                                           06-Dec-2025 01:53                 105
yices2.txt                                         06-Dec-2025 01:53                 106
z3.txt                                             06-Dec-2025 01:53                 108