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.7-r1 94408-Oct-2024 15:52
Manifest.gz 3210312-Nov-2024 18:41
abc-0_p20230313 64208-Oct-2024 15:52
abc-9999 60108-Oct-2024 15:52
acl2-8.5-r2 64806-May-2024 17:40
acl2-8.5_p20240307 70506-May-2024 17:40
alectryon-1.4.0-r2 315114-Oct-2024 13:44
alt-ergo-2.4.3-r2 130208-Oct-2024 15:52
arb-2.23.0 98908-Oct-2024 15:52
bertini-1.4 61308-Oct-2024 15:52
bertini-1.6 66508-Oct-2024 15:52
boolector-3.2.3 203114-Oct-2024 13:44
boolector-3.2.4 221114-Oct-2024 13:44
btor2tools-1.0.0_pre20220518-r1 79908-Oct-2024 15:52
cadabra-2.4.5.4 364111-Nov-2024 04:44
cadabra-2.4.5.6 364211-Nov-2024 04:44
cadabra-2.4.5.7 364211-Nov-2024 04:44
cadical-1.9.5 42708-Oct-2024 15:52
cadical-2.0.0 46608-Oct-2024 15:52
calc-2.13.0.1 60808-Oct-2024 15:52
cgal-5.6 118408-Oct-2024 15:52
cgal-5.6.1 119308-Oct-2024 15:52
cgal-6.0 118515-Oct-2024 19:10
cliquer-1.22 38922-Nov-2023 22:40
coq-8.19.0 139708-Oct-2024 15:52
coq-8.19.1 139808-Oct-2024 15:52
coq-8.19.2 139708-Oct-2024 15:52
coq-8.20.0 139908-Oct-2024 15:52
coq-mathcomp-1.19.0 44215-Jan-2024 21:41
coq-serapi-0.19.0 137508-Oct-2024 15:52
coq-serapi-0.20.0 137508-Oct-2024 15:52
cryptominisat-5.11.21-r1 273614-Oct-2024 13:44
cubicle-1.2.0-r2 120808-Oct-2024 15:52
cudd-3.0.0 29518-Dec-2022 22:10
cvc4-1.8-r5 143617-Oct-2024 15:41
dataplot-20131220 138708-Oct-2024 15:52
diagrtb-2.64 95008-Oct-2024 15:52
dsfmt-2.2.4 51408-Oct-2024 15:52
dunshire-0.1.3-r1 210914-Oct-2024 13:44
easycrypt-2024.01-r1 114808-Oct-2024 15:52
easycrypt-2024.09 114808-Oct-2024 15:52
eclib-20231212 114308-Oct-2024 15:52
eclib-20240408 115108-Oct-2024 15:52
ent-101202 52008-Oct-2024 15:52
eprover-3.0.03 53908-Oct-2024 15:52
eprover-3.0_pre008 54608-Oct-2024 15:52
euler-1.61.0-r1 87108-Oct-2024 15:52
fann-2.2.0-r1 73108-Oct-2024 15:52
fann-9999 73508-Oct-2024 15:52
flint-3.1.3_p1-r1 129714-Oct-2024 13:44
flocq-4.1.0-r1 54108-Oct-2024 15:52
flocq-4.1.1 54108-Oct-2024 15:52
form-4.3.1 139608-Oct-2024 15:52
form-5.0.0_beta1 141908-Oct-2024 15:52
fricas-1.3.11-r3 146708-Oct-2024 15:52
frobby-0.9.0-r4 55008-Oct-2024 15:52
gap-4.13.1 113829-Aug-2024 14:10
gap-4.13.1-r1 113909-Oct-2024 14: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 166708-Oct-2024 15:52
geogebra-bin-5.0.752.0 89508-Oct-2024 15:52
geogebra-bin-6.0.804.0 104308-Oct-2024 15:52
geomview-1.9.5-r1 108608-Oct-2024 15:52
gfan-0.6.2-r4 70508-Oct-2024 15:52
gfan-0.6.2-r6 76408-Oct-2024 15:52
giac-1.9.0.29-r1 197008-Oct-2024 15:52
giac-1.9.0.995-r1 200308-Oct-2024 15:52
gimps-30.19.14 91208-Oct-2024 15:52
gimps-30.19.20 91108-Oct-2024 15:52
gimps-30.8.15 88108-Oct-2024 15:52
gimps-30.8.17 75808-Oct-2024 15:52
ginac-1.8.7-r1 86214-Oct-2024 13:44
ginac-1.8.7-r2 87414-Oct-2024 13:44
ginac-1.8.7-r3 89614-Oct-2024 13:44
glpk-5.0-r1 129208-Oct-2024 15:52
glpk-5.0-r3 136624-Oct-2024 15:11
gmm-5.4 53408-Oct-2024 15:52
gmm-5.4.2 35925-Oct-2024 22:41
gmp-ecm-7.0.5-r1 68508-Oct-2024 15:52
gp2c-0.0.12 38806-Dec-2021 07:39
gretl-2021d 190108-Oct-2024 15:52
gsl-shell-2.3.5 165312-Nov-2024 18:41
jags-4.3.0 64808-Oct-2024 15:52
jags-4.3.1-r1 77408-Oct-2024 15:52
kind2-1.9.0 85108-Oct-2024 15:52
kissat-3.1.0 52308-Oct-2024 15:52
kissat-3.1.1 52308-Oct-2024 15:52
lcalc-2.0.5-r2 67627-Aug-2024 01:11
lean-3.51.1 88908-Oct-2024 15:52
lean-4.11.0 99714-Oct-2024 13:44
lean-4.2.0 97314-Oct-2024 13:44
libpoly-0.1.11 203014-Oct-2024 13:44
lpsolve-5.5.2.11-r2 55608-Oct-2024 15:52
lrcalc-1.2 36509-Jun-2023 15:40
lrcalc-2.1 37220-Aug-2024 21:11
mathematica-10.3.1-r1 67108-Oct-2024 15:52
mathematica-10.3.1-r2 69116-Oct-2024 22:11
mathematica-12.1.0 67108-Oct-2024 15:52
mathematica-12.1.1-r1 67108-Oct-2024 15:52
mathematica-12.2.0 67108-Oct-2024 15:52
mathematica-13.0.0 67608-Oct-2024 15:52
mathematica-13.0.1 104408-Oct-2024 15:52
mathematica-13.1.0 113208-Oct-2024 15:52
mathematica-13.2.1 111108-Oct-2024 15:52
mathematica-13.3.1 152908-Oct-2024 15:52
mathematica-14.0.0 152908-Oct-2024 15:52
mathlib-tools-1.3.2_p1 581714-Oct-2024 13:44
mathmod-11.1 92608-Oct-2024 15:52
mathomatic-16.0.5-r1 69508-Oct-2024 15:52
maxima-5.46.0-r1 305414-Oct-2024 13:44
maxima-5.47.0 306814-Oct-2024 13:44
maxima-5.47.0-r1 323314-Oct-2024 13:44
metamath-0.198 79908-Oct-2024 15:52
metamath-databases-20220303 42004-Mar-2023 16:40
minisat-2.2.1-r1 87108-Oct-2024 15:52
msieve-1.53-r1 70108-Oct-2024 15:52
nauty-2.8.8-r1 111608-Oct-2024 15:52
nestedsums-1.5.2-r1 66008-Oct-2024 15:52
normaliz-3.10.1 106708-Oct-2024 15:52
normaliz-3.9.3 67908-Oct-2024 15:52
num-utils-0.5-r2 44509-Jun-2023 15:40
octave-8.3.0-r2 445605-Nov-2024 11:11
octave-9.2.0-r1 433305-Nov-2024 11:11
octave-epstk-2.4 43522-Nov-2021 03:39
opensmt-2.5.2 116408-Oct-2024 15:52
otter-3.3-r4 61108-Oct-2024 15:52
palp-2.21 58008-Oct-2024 15:52
pari-2.15.5 108508-Oct-2024 15:52
pari-data-20191216 72519-Aug-2024 13:11
petsc-3.16.0-r2 223414-Oct-2024 13:44
petsc-3.17.1-r2 199814-Oct-2024 13:44
petsc-3.18.2-r1 202814-Oct-2024 13:44
petsc-3.19.1-r1 202814-Oct-2024 13:44
petsc-3.19.2-r1 202814-Oct-2024 13:44
petsc-3.19.4-r1 202814-Oct-2024 13:44
petsc-3.20.5-r1 204114-Oct-2024 13:44
petsc-3.21.3 206214-Oct-2024 13:44
picosat-965 39208-Oct-2024 15:52
planarity-3.0.2.0 39020-Aug-2024 21:11
plfit-0.9.3 77708-Oct-2024 15:52
plfit-0.9.5 77908-Oct-2024 15:52
polymake-4.11 175627-Oct-2024 03:41
polymake-4.12 175727-Oct-2024 03:41
primecount-7.13-r1 92808-Oct-2024 15:52
primecount-7.6 93908-Oct-2024 15:52
primesieve-11.0 86708-Oct-2024 15:52
primesieve-12.3 90608-Oct-2024 15:52
prng-3.0.2-r3 81708-Oct-2024 15:52
prover9-2009.11a-r1 53908-Oct-2024 15:52
proverif-2.04-r1 77301-Jun-2024 21:41
proverif-2.05 75901-Jun-2024 21:41
proverif-9999 76911-Jul-2024 21:11
psmt2-frontend-0.4.0 82808-Oct-2024 15:52
pspp-1.6.2-r2 161414-Oct-2024 13:44
rkward-0.8.0 292608-Oct-2024 15:52
rngstreams-1.0.1 45509-Jun-2023 15:40
rw-0.9 38321-Sep-2024 04:11
sha1-polyml-5.9 45208-Oct-2024 15:52
singular-4.3.2_p16-r1 145208-Oct-2024 15:52
singular-4.4.0_p6 97505-Oct-2024 04:11
slepc-3.16.0 97914-Oct-2024 13:44
slepc-3.17.1 97914-Oct-2024 13:44
slepc-3.18.1 96814-Oct-2024 13:44
slepc-3.19.0 106214-Oct-2024 13:44
slepc-3.19.1 106214-Oct-2024 13:44
slepc-3.20.1 106214-Oct-2024 13:44
slepc-3.21.1 108314-Oct-2024 13:44
smtinterpol-2.5_p20211018-r1 75105-Nov-2024 11:11
spin-6.5.2-r1 69408-Oct-2024 15:52
stp-2.3.3-r3 214714-Oct-2024 13:44
stp-2.3.4 212514-Oct-2024 13:44
sympow-2.023.6 52408-Oct-2024 15:52
sympow-2.023.7 52604-Nov-2024 03:11
topcom-0.17.8-r3 116308-Oct-2024 15:52
topcom-1.1.2 107708-Oct-2024 15:52
twelf-1.7.1-r2 82708-Oct-2024 15:52
unuran-1.8.1 65309-Jun-2023 15:40
unuran-1.9.0 113008-Oct-2024 15:52
vampire-4.8 95608-Oct-2024 15:52
vampire-4.9 95608-Oct-2024 15:52
verifpal-0.27.0 81008-Oct-2024 15:52
verit-2021.06.2 32010-Mar-2022 21:39
why3-1.6.0 205308-Oct-2024 15:52
why3-for-spark-2021-r1 214408-Oct-2024 15:52
wxmaxima-24.02.1 125008-Oct-2024 15:52
wxmaxima-24.05.0 125108-Oct-2024 15:52
wxmaxima-24.08.0 125102-Nov-2024 08:41
yacas-1.9.1-r1 166508-Oct-2024 15:52
yafu-1.34.3-r1 73408-Oct-2024 15:52
yices2-2.6.4-r1 99708-Oct-2024 15:52
z3-4.13.3 260305-Nov-2024 11:11