Skip To Content

Home - Residential - Entertainment - File Download Mirror - Directory Listing

File Download Mirror

The Internode Mirror contains a wide selection of software for download by Internode customers.

File Download Mirror Directory Listing

Index of /pub/gentoo-portage/metadata/md5-cache/sci-mathematics/

Index of /pub/gentoo-portage/metadata/md5-cache/sci-mathematics/

File NameFile SizeDate
Parent directory/--
4ti2-1.6.10 94019-Dec-2025 10:13
4ti2-1.6.7-r1 84219-Dec-2025 10:13
Manifest.gz 3265019-Dec-2025 10:13
abc-0_p20230313 60012-Oct-2025 15:26
abc-9999 55912-Oct-2025 15:26
acl2-8.5_p20240307-r1 68923-Apr-2025 16:27
acl2-8.6 67802-Jul-2025 01:11
alectryon-1.4.0-r2 257526-Nov-2025 16:12
alt-ergo-2.4.3-r3 122726-Sep-2025 06:11
arb-2.23.0 91219-Dec-2025 10:13
bertini-1.4 57112-Oct-2025 15:26
bertini-1.6 62312-Oct-2025 15:26
btor2tools-1.0.0_pre20220518-r1 75723-Nov-2025 19:42
cadabra-2.4.5.4 283823-Nov-2025 19:42
cadabra-2.4.5.6 283923-Nov-2025 19:42
cadabra-2.4.5.7 283923-Nov-2025 19:42
cadical-1.9.5 38612-Oct-2025 15:26
cadical-2.0.0 51512-Oct-2025 15:26
calc-2.13.0.1 54219-Dec-2025 10:13
cgal-5.6 112019-Dec-2025 10:13
cgal-5.6.1 112919-Dec-2025 10:13
cgal-6.0 112019-Dec-2025 10:13
cgal-6.0.1 115819-Dec-2025 10:13
cgal-6.1 115519-Dec-2025 10:13
clipper2-1.5.3 77523-Nov-2025 19:42
clipper2-1.5.4 77523-Nov-2025 19:42
cliquer-1.22 38922-Nov-2023 22:40
cliquer-1.23 40509-Aug-2025 19:11
coq-8.17.1-r1 142712-Dec-2025 22:40
coq-8.19.2-r1 142612-Dec-2025 22:40
coq-8.20.0-r1 142612-Dec-2025 22:40
coq-9.0.0 128212-Dec-2025 22:40
coq-9.1.0-r1 131312-Dec-2025 22:40
coq-mathcomp-1.19.0-r1 50217-Mar-2025 00:11
coq-serapi-0.20.0 136726-Sep-2025 06:11
coq-stdlib-9.0.0-r1 68407-Nov-2025 22:11
cryptominisat-5.11.21-r2 190026-Nov-2025 16:12
cubicle-1.2.0-r2 111212-Oct-2025 15:26
cudd-3.0.0 29518-Dec-2022 22:10
cvc4-1.8-r7 119623-Nov-2025 19:42
dataplot-20131220 128519-Dec-2025 10:13
dsfmt-2.2.4 44819-Dec-2025 10:13
dunshire-0.1.3-r2 211626-Nov-2025 16:12
easycrypt-2025.10 107706-Oct-2025 22:12
easycrypt-2025.11 107716-Nov-2025 20:40
eclib-20250122 62919-Dec-2025 10:13
eclib-20250627 63019-Dec-2025 10:13
ent-101202 45419-Dec-2025 10:13
eprover-3.0.03 49712-Oct-2025 15:26
eprover-3.2.5 49522-Nov-2025 01:42
euler-1.61.0-r1 76919-Dec-2025 10:13
fann-2.2.0-r2 68123-Nov-2025 19:42
fann-9999 73923-Nov-2025 19:42
flint-3.1.3_p1-r4 106423-Oct-2025 18:44
flint-3.3.1-r1 103123-Oct-2025 18:44
flocq-4.2.1 54116-Feb-2025 22:41
form-4.3.1 132004-Nov-2025 10:12
form-5.0.0_beta1 134304-Nov-2025 10:12
fricas-1.3.12 147411-Aug-2025 14:42
frobby-0.9.0-r4 50812-Oct-2025 15:26
functions-matlab-colormaps-1.0_p20250328 48120-Jun-2025 17:06
gap-4.14.0-r1 114704-Nov-2025 10:12
gap-4.15.1 114204-Nov-2025 10:12
gappa-1.4.1 64412-Nov-2024 18:41
gappa-1.4.2 64412-Nov-2024 18:41
gappalib-coq-1.5.2-r1 70408-Oct-2024 15:52
gappalib-coq-1.5.3 70408-Oct-2024 15:52
genius-1.0.27 158912-Oct-2025 15:26
geogebra-bin-5.0.752.0 89512-Dec-2025 22:40
geogebra-bin-6.0.804.0-r1 155912-Dec-2025 22:40
geomview-1.9.5-r1 104612-Dec-2025 22:40
gfan-0.6.2-r6 69719-Dec-2025 10:13
gfan-0.6.2-r7 69819-Dec-2025 10:13
giac-1.9.0.995-r2 193012-Oct-2025 15:26
gimps-30.19.14 87012-Oct-2025 15:26
gimps-30.19.20 86912-Oct-2025 15:26
gimps-30.8.15 83912-Oct-2025 15:26
gimps-30.8.17 71612-Oct-2025 15:26
ginac-1.8.9 83019-Dec-2025 10:13
glpk-5.0-r3 125519-Dec-2025 10:13
gmm-5.4.2 33519-Dec-2025 10:13
gmp-ecm-7.0.6-r1 63517-Dec-2025 15:42
gp2c-0.0.12 38806-Dec-2021 07:39
gp2c-0.0.14 39608-Aug-2025 13:05
gretl-2021d 183519-Dec-2025 10:13
gsl-shell-2.3.5 153810-Dec-2025 05:41
jags-4.3.1-r1 95819-Dec-2025 10:13
kind2-1.9.0 84326-Sep-2025 06:11
kissat-3.1.1-r1 48112-Oct-2025 15:26
lcalc-2.0.5-r2 67627-Aug-2024 01:11
lcalc-2.1.1 84112-Oct-2025 15:26
lean-4.14.0-r1 111523-Nov-2025 19:42
lean-4.23.0 111623-Nov-2025 19:42
libpoly-0.1.11 164023-Nov-2025 19:42
lpsolve-5.5.2.11-r2 49019-Dec-2025 10:13
lrcalc-1.2 35417-Dec-2025 15:42
lrcalc-2.1 36117-Dec-2025 15:42
manifold-3.1.0-r1 239423-Nov-2025 19:42
manifold-3.2.1 247823-Nov-2025 19:42
manifold-9999 245723-Nov-2025 19:42
mathematica-10.3.1-r1 67112-Dec-2025 22:40
mathematica-10.3.1-r2 69112-Dec-2025 22:40
mathematica-12.1.0 67112-Dec-2025 22:40
mathematica-12.1.1-r1 67112-Dec-2025 22:40
mathematica-12.2.0 67112-Dec-2025 22:40
mathematica-13.0.0 67612-Dec-2025 22:40
mathematica-13.0.1 100212-Dec-2025 22:40
mathematica-13.1.0-r1 121518-Dec-2025 04:40
mathematica-13.2.1-r1 118818-Dec-2025 04:40
mathematica-13.3.1-r2 159218-Dec-2025 04:40
mathematica-14.0.0-r3 159218-Dec-2025 04:40
mathematica-14.1.0-r2 164018-Dec-2025 04:40
mathematica-14.2.1 172318-Dec-2025 04:40
mathematica-14.3.0 172318-Dec-2025 04:40
mathmod-13.0-r1 85415-Dec-2025 16:40
mathomatic-16.0.5-r1 62919-Dec-2025 10:13
maxima-5.47.0-r2 313019-Dec-2025 10:13
maxima-5.48.1-r1 313519-Dec-2025 10:13
maxima-5.49.0 313519-Dec-2025 10:13
metamath-0.198 72112-Oct-2025 15:26
metamath-databases-20220303 42004-Mar-2023 16:40
minisat-2.2.1-r1 82723-Nov-2025 19:42
msieve-1.53-r1 66104-Nov-2025 10:12
msieve-1.53-r3 78704-Nov-2025 10:12
nauty-2.8.8-r1 104004-Nov-2025 10:12
nestedsums-1.5.2-r1 61812-Oct-2025 15:26
normaliz-3.10.1 96519-Dec-2025 10:13
normaliz-3.10.5 61619-Dec-2025 10:13
normaliz-3.11.0 61619-Dec-2025 10:13
normaliz-3.9.3 61319-Dec-2025 10:13
num-utils-0.5-r2 44509-Jun-2023 15:40
octave-9.2.0-r2 426019-Dec-2025 10:13
octave-epstk-2.4 43522-Nov-2021 03:39
opensmt-2.7.0 101023-Nov-2025 19:42
opensmt-2.9.2 101023-Nov-2025 19:42
otter-3.3-r4 53419-Dec-2025 10:13
palp-2.21 53812-Oct-2025 15:26
pari-2.15.5 101919-Dec-2025 10:13
pari-2.17.1 101919-Dec-2025 10:13
pari-2.17.2 102119-Dec-2025 10:13
pari-data-20191216 70119-Dec-2025 10:13
petsc-3.22.2 198207-Nov-2025 04:13
petsc-3.23.3 211707-Nov-2025 04:13
petsc-3.23.4 211707-Nov-2025 04:13
picosat-965 35012-Oct-2025 15:26
planarity-3.0.2.0 39020-Aug-2024 21:11
planarity-4.0.0.0 39522-Jun-2025 20:11
plfit-0.9.5 73523-Nov-2025 19:42
plfit-1.0.1 74423-Nov-2025 19:42
polymake-4.13 170319-Dec-2025 10:13
polymake-4.14 170519-Dec-2025 10:13
polymake-4.15 170419-Dec-2025 10:13
primecount-7.13-r1 88523-Nov-2025 19:42
primesieve-12.3 89323-Nov-2025 19:42
prng-3.0.2-r4 71519-Dec-2025 10:13
prover9-2009.11a-r2 49712-Oct-2025 15:26
proverif-2.04-r1 77314-May-2025 08:41
proverif-2.05 75914-May-2025 08:41
proverif-9999 76914-May-2025 08:41
psmt2-frontend-0.4.0 82726-Sep-2025 06:11
pspp-1.6.2-r3 154219-Dec-2025 10:13
pspp-2.0.1-r1 155019-Dec-2025 10:13
rkward-0.8.2 282019-Dec-2025 10:13
rngstreams-1.0.1 43119-Dec-2025 10:13
rw-0.9 34819-Dec-2025 10:13
sha1-polyml-5.9 41012-Oct-2025 15:26
singular-4.4.1 96119-Dec-2025 10:13
singular-4.4.1-r1 96219-Dec-2025 10:13
slepc-3.22.1 102023-Oct-2025 18:44
slepc-3.23.1 104123-Oct-2025 18:44
smtinterpol-2.5_p20211018-r1 75103-Oct-2025 16:40
spin-6.5.2-r1 65212-Dec-2025 22:40
stp-2.3.3-r3 192323-Nov-2025 19:42
stp-2.3.4 190123-Nov-2025 19:42
sympow-2.023.7 48312-Oct-2025 15:26
topcom-0.17.8-r3 108512-Oct-2025 15:26
topcom-1.1.2 99912-Oct-2025 15:26
twelf-1.7.1-r2 78512-Oct-2025 15:26
unuran-1.8.1 62919-Dec-2025 10:13
unuran-1.9.0 102819-Dec-2025 10:13
vampire-4.8 91423-Nov-2025 19:42
vampire-4.9 91423-Nov-2025 19:42
verifpal-0.27.0 75312-Oct-2025 15:26
verit-2021.06.2 32010-Mar-2022 21:39
why3-1.6.0 190212-Oct-2025 15:26
why3-1.7.2 190212-Oct-2025 15:26
why3-1.8.0 193212-Oct-2025 15:26
why3-1.8.1 193212-Oct-2025 15:26
why3-1.8.2 196712-Oct-2025 15:26
why3-for-spark-2021-r1 202912-Oct-2025 15:26
why3-for-spark-2023.12.13-r2 204712-Oct-2025 15:26
wxmaxima-25.04.0-r2 121223-Nov-2025 19:42
yacas-1.9.1-r2 112123-Nov-2025 19:42
yafu-1.34.3-r2 76412-Oct-2025 15:26
yices2-2.6.5 96512-Oct-2025 15:26
z3-4.15.3 242423-Nov-2025 19:42
z3-4.15.4 242414-Dec-2025 00:10