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

../
4ti2.txt                                           01-Feb-2026 01:43                  87
acl2.txt                                           01-Feb-2026 01:43                  92
bertini.txt                                        01-Feb-2026 01:43                  85
cadabra.txt                                        01-Feb-2026 01:43                  95
cadical.txt                                        01-Feb-2026 01:43                  89
cgal.txt                                           01-Feb-2026 01:43                 257
clipper2.txt                                       01-Feb-2026 01:43                 114
coq.txt                                            01-Feb-2026 01:43                 272
easycrypt.txt                                      01-Feb-2026 01:43                 111
eprover.txt                                        01-Feb-2026 01:43                  90
form.txt                                           01-Feb-2026 01:43                 107
gappa.txt                                          01-Feb-2026 01:43                  85
gappalib-coq.txt                                   01-Feb-2026 01:43                 102
gimps.txt                                          01-Feb-2026 01:43                 403
lrcalc.txt                                         01-Feb-2026 01:43                 115
manifold.txt                                       01-Feb-2026 01:43                 117
mathematica.txt                                    01-Feb-2026 01:43                2537
maxima.txt                                         01-Feb-2026 01:43                 110
msieve.txt                                         01-Feb-2026 01:43                  93
normaliz.txt                                       01-Feb-2026 01:43                 185
opensmt.txt                                        01-Feb-2026 01:43                  89
pari.txt                                           01-Feb-2026 01:43                 144
petsc.txt                                          01-Feb-2026 01:43                 217
planarity.txt                                      01-Feb-2026 01:43                 129
polymake.txt                                       01-Feb-2026 01:43                 178
proverif.txt                                       01-Feb-2026 01:43                 106
slepc.txt                                          01-Feb-2026 01:43                 105
stp.txt                                            01-Feb-2026 01:43                 102
topcom.txt                                         01-Feb-2026 01:43                  91
unuran.txt                                         01-Feb-2026 01:43                  87
vampire.txt                                        01-Feb-2026 01:43                  87
why3-for-spark.txt                                 01-Feb-2026 01:43                 101
why3.txt                                           01-Feb-2026 01:43                 613
z3.txt                                             01-Feb-2026 01:43                  87