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/linux/gentoo-portage/metadata/md5-cache/sci-mathematics/

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

File NameFile SizeDate
Parent directory/--
4ti2-1.6.10 96412-Oct-2025 15:26
4ti2-1.6.7-r1 86612-Oct-2025 15:26
Manifest.gz 3233604-Nov-2025 11:40
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 257523-Oct-2025 18:44
alt-ergo-2.4.3-r3 122726-Sep-2025 06:11
arb-2.23.0 94731-Oct-2025 23:41
bertini-1.4 57112-Oct-2025 15:26
bertini-1.6 62312-Oct-2025 15:26
btor2tools-1.0.0_pre20220518-r1 75731-Oct-2025 23:41
cadabra-2.4.5.4 283831-Oct-2025 23:41
cadabra-2.4.5.6 283931-Oct-2025 23:41
cadabra-2.4.5.7 283931-Oct-2025 23:41
cadical-1.9.5 38612-Oct-2025 15:26
cadical-2.0.0 51512-Oct-2025 15:26
calc-2.13.0.1 56612-Oct-2025 15:26
cgal-5.6 114404-Nov-2025 10:12
cgal-5.6.1 115304-Nov-2025 10:12
cgal-6.0 114404-Nov-2025 10:12
cgal-6.0.1 118204-Nov-2025 10:12
cgal-6.1 117904-Nov-2025 10:12
clipper2-1.5.3 77531-Oct-2025 23:41
clipper2-1.5.4 77531-Oct-2025 23:41
cliquer-1.22 38922-Nov-2023 22:40
cliquer-1.23 40509-Aug-2025 19:11
coq-8.17.1-r1 142728-Sep-2025 15:42
coq-8.19.2-r1 142628-Sep-2025 15:42
coq-8.20.0-r1 142628-Sep-2025 15:42
coq-9.0.0 128228-Sep-2025 15:42
coq-9.1.0-r1 131428-Sep-2025 15:42
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 68506-Oct-2025 22:12
cryptominisat-5.11.21-r2 190004-Nov-2025 09:18
cubicle-1.2.0-r2 111212-Oct-2025 15:26
cudd-3.0.0 29518-Dec-2022 22:10
cvc4-1.8-r6 119631-Oct-2025 23:41
dataplot-20131220 130912-Oct-2025 15:26
dsfmt-2.2.4 47212-Oct-2025 15:26
dunshire-0.1.3-r2 211623-Oct-2025 18:44
easycrypt-2025.10 107706-Oct-2025 22:12
eclib-20250122 65319-Apr-2025 00:34
eclib-20250627 65431-Jul-2025 01:41
ent-101202 47812-Oct-2025 15:26
eprover-3.0.03 49712-Oct-2025 15:26
eprover-3.0_pre008 50412-Oct-2025 15:26
euler-1.61.0-r1 79312-Oct-2025 15:26
fann-2.2.0-r2 68131-Oct-2025 23:41
fann-9999 73931-Oct-2025 23:41
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 89508-Oct-2024 15:52
geogebra-bin-6.0.804.0-r1 155931-Oct-2025 05:10
geomview-1.9.5-r1 104604-Nov-2025 10:12
gfan-0.6.2-r6 72112-Oct-2025 15:26
gfan-0.6.2-r7 72212-Oct-2025 15:26
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 85423-Oct-2025 18:44
glpk-5.0-r3 127904-Nov-2025 10:12
gmm-5.4.2 35925-Oct-2024 22:41
gmp-ecm-7.0.6-r1 64612-Oct-2025 15:26
gp2c-0.0.12 38806-Dec-2021 07:39
gp2c-0.0.14 39608-Aug-2025 13:05
gretl-2021d 185912-Oct-2025 15:26
gsl-shell-2.3.5 153823-Oct-2025 18:44
jags-4.3.1-r1 98212-Oct-2025 15:26
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 111531-Oct-2025 23:41
lean-4.23.0 111631-Oct-2025 23:41
libpoly-0.1.11 164031-Oct-2025 23:41
lpsolve-5.5.2.11-r2 51412-Oct-2025 15:26
lrcalc-1.2 36509-Jun-2023 15:40
lrcalc-2.1 37220-Aug-2024 21:11
manifold-3.0.1 239931-Oct-2025 23:41
manifold-3.0.2_pre20250330 244431-Oct-2025 23:41
manifold-3.1.0-r1 239431-Oct-2025 23:41
manifold-9999 238631-Oct-2025 23:41
mathematica-10.3.1-r1 67112-Oct-2025 15:26
mathematica-10.3.1-r2 69112-Oct-2025 15:26
mathematica-12.1.0 67112-Oct-2025 15:26
mathematica-12.1.1-r1 67112-Oct-2025 15:26
mathematica-12.2.0 67112-Oct-2025 15:26
mathematica-13.0.0 67612-Oct-2025 15:26
mathematica-13.0.1 100212-Oct-2025 15:26
mathematica-13.1.0 109012-Oct-2025 15:26
mathematica-13.2.1 106912-Oct-2025 15:26
mathematica-13.3.1-r1 149312-Oct-2025 15:26
mathematica-14.0.0-r2 149328-Oct-2025 22:41
mathematica-14.1.0-r1 154128-Oct-2025 22:41
mathmod-12.1 85412-Oct-2025 15:26
mathmod-13.0 85404-Nov-2025 11:40
mathomatic-16.0.5-r1 65312-Oct-2025 15:26
maxima-5.47.0-r2 315423-Oct-2025 18:44
maxima-5.48.1 315523-Oct-2025 18:44
maxima-5.48.1-r1 315903-Nov-2025 16:13
metamath-0.198 72112-Oct-2025 15:26
metamath-databases-20220303 42004-Mar-2023 16:40
minisat-2.2.1-r1 82704-Nov-2025 09:18
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 98912-Oct-2025 15:26
normaliz-3.10.5 64012-Oct-2025 15:26
normaliz-3.9.3 63712-Oct-2025 15:26
num-utils-0.5-r2 44509-Jun-2023 15:40
octave-9.2.0-r2 428404-Nov-2025 10:12
octave-epstk-2.4 43522-Nov-2021 03:39
opensmt-2.5.2 112231-Oct-2025 23:41
opensmt-2.7.0 101031-Oct-2025 23:41
otter-3.3-r4 56912-Oct-2025 15:26
palp-2.21 53812-Oct-2025 15:26
pari-2.15.5 104312-Oct-2025 15:26
pari-2.17.1 104312-Oct-2025 15:26
pari-2.17.2 104512-Oct-2025 15:26
pari-data-20191216 72519-Aug-2024 13:11
petsc-3.22.2 198223-Oct-2025 18:44
petsc-3.23.3 211723-Oct-2025 18:44
petsc-3.23.4 211723-Oct-2025 18:44
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 73531-Oct-2025 23:41
plfit-1.0.1 74431-Oct-2025 23:41
polymake-4.13 171612-Oct-2025 15:26
polymake-4.14 171812-Oct-2025 15:26
primecount-7.13-r1 88531-Oct-2025 23:41
primesieve-12.3 89331-Oct-2025 23:41
prng-3.0.2-r4 73912-Oct-2025 15:26
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 156604-Nov-2025 10:12
pspp-2.0.1-r1 157404-Nov-2025 10:12
rkward-0.8.2 283331-Oct-2025 23:41
rngstreams-1.0.1 45509-Jun-2023 15:40
rw-0.9 38321-Sep-2024 04:11
sha1-polyml-5.9 41012-Oct-2025 15:26
singular-4.4.1 97222-Jun-2025 20:11
singular-4.4.1-r1 97331-Jul-2025 15:07
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-Oct-2025 15:26
stp-2.3.3-r3 192304-Nov-2025 09:18
stp-2.3.4 190104-Nov-2025 09:18
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 65309-Jun-2023 15:40
unuran-1.9.0 105212-Oct-2025 15:26
vampire-4.8 91431-Oct-2025 23:41
vampire-4.9 91431-Oct-2025 23:41
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 121231-Oct-2025 23:41
yacas-1.9.1-r2 112131-Oct-2025 23:41
yafu-1.34.3-r2 76412-Oct-2025 15:26
yices2-2.6.4-r1 91912-Oct-2025 15:26
yices2-2.6.5 96512-Oct-2025 15:26
z3-4.15.3 242431-Oct-2025 23:41
z3-4.15.4 242931-Oct-2025 23:41