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.7-r1 86029-May-2023 18:49
Manifest.gz 2855006-Jun-2023 18:10
abc-0_p20230313 64229-May-2023 18:49
abc-9999 60129-May-2023 18:49
acl2-8.5-r1 63225-May-2023 19:10
alectryon-1.4.0-r1 265403-Jun-2023 07:11
alt-ergo-2.4.1-r2 113326-Mar-2023 12:22
alt-ergo-2.4.2-r1 124326-Mar-2023 12:22
alt-ergo-2.4.3 130504-Jun-2023 14:10
alt-ergo-9999 129504-Jun-2023 14:10
arb-2.23.0 98829-May-2023 18:49
bertini-1.4 77229-May-2023 18:49
bertini-1.6 65329-May-2023 18:49
boolector-3.2.2_p20220110 193329-May-2023 18:49
btor2tools-1.0.0_pre20220518-r1 79829-May-2023 18:49
cadabra-2.4.3.2-r1 291329-May-2023 18:49
cadical-1.5.2-r1 42729-May-2023 18:49
cadical-1.5.3-r1 42729-May-2023 18:49
calc-2.13.0.1 60829-May-2023 18:49
cgal-5.5 117529-May-2023 18:49
cliquer-1.22 38729-Dec-2021 14:09
coq-8.12.0-r2 109029-May-2023 18:49
coq-8.13.0-r1 107511-Apr-2023 14:40
coq-8.15.2 129111-Apr-2023 14:40
coq-8.16.1 132311-Apr-2023 14:40
coq-8.17.0 141726-May-2023 20:40
coq-mathcomp-1.15.0-r1 44211-Apr-2023 14:40
coq-mathcomp-1.16.0-r1 44211-Apr-2023 14:40
coq-serapi-0.16.1 143310-May-2023 18:19
coq-serapi-0.16.2-r1 137110-May-2023 18:19
coq-serapi-0.16.3 137510-May-2023 18:19
coq-serapi-0.17.0 137510-May-2023 18:19
cryptominisat-5.11.4 85929-May-2023 18:49
cubicle-1.2.0-r2 112529-May-2023 18:49
cudd-3.0.0 29518-Dec-2022 22:10
cvc4-1.8-r4 155806-Jun-2023 18:10
dataplot-20131220 147529-May-2023 18:49
diagrtb-2.64 112029-May-2023 18:49
dsfmt-2.2.4 51429-May-2023 18:49
dunshire-0.1.1-r3 178403-Jun-2023 07:11
easycrypt-2022.04_p20220505 118526-Mar-2023 12:22
easycrypt-2022.04_p20230324 123201-Apr-2023 23:10
eclib-20221012 63407-Feb-2023 20:40
eclib-20230424 105029-May-2023 18:49
ent-101202 51929-May-2023 18:49
eprover-3.0_pre008 54629-May-2023 18:49
euler-1.61.0-r1 77429-May-2023 18:49
fann-2.2.0-r1 88829-May-2023 18:49
fann-9999 90529-May-2023 18:49
flint-2.8.4 120029-May-2023 18:49
flint-2.8.5 123229-May-2023 18:49
flint-2.9.0 124429-May-2023 18:49
flintqs-1.0 37806-Jan-2021 15:39
flocq-4.1.0-r1 54111-Apr-2023 14:40
flocq-4.1.1 54111-Apr-2023 14:40
form-4.3.0-r1 131229-May-2023 18:49
form-4.3.1 131229-May-2023 18:49
fricas-1.3.8-r1 117410-May-2023 18:19
frobby-0.9.0-r4 54929-May-2023 18:49
gappa-1.4.1 64326-Mar-2023 12:22
gappalib-coq-1.5.2-r1 70416-Feb-2023 12:10
gappalib-coq-1.5.3 70410-Apr-2023 19:10
genius-1.0.27 157829-May-2023 18:49
geogebra-bin-5.0.752.0 89526-Mar-2023 12:22
geomview-1.9.5-r1 124429-May-2023 18:49
gfan-0.6.2-r4 69729-May-2023 18:49
giac-1.9.0.29-r1 188729-May-2023 18:49
gimps-30.7.9 87629-May-2023 18:49
gimps-30.8.15 88029-May-2023 18:49
gimps-30.8.17 75829-May-2023 18:49
ginac-1.8.6 86929-May-2023 18:49
glpk-5.0-r1 138603-Jun-2023 11:40
gmm-5.4 53303-Jun-2023 11:40
gmm-5.4.2 36116-Dec-2022 19:10
gmp-ecm-7.0.5-r1 68529-May-2023 18:49
gp2c-0.0.12 38806-Dec-2021 07:39
gretl-2021d 188829-May-2023 18:49
gsl-shell-2.3.2 126229-May-2023 18:49
gsl-shell-2.3.5 155229-May-2023 18:49
jags-4.3.0 63429-May-2023 18:49
jags-4.3.1 63629-May-2023 18:49
kind2-1.9.0 85103-Jun-2023 17:10
kissat-3.0.0 52329-May-2023 18:49
lcalc-2.0.5-r2 66916-Jul-2022 12:40
lean-3.49.0 88829-May-2023 18:49
lean-3.50.3 88829-May-2023 18:49
lean-3.51.0 88929-May-2023 18:49
lean-3.51.1 88929-May-2023 18:49
lean-3.9999 85829-May-2023 18:49
libpoly-0.1.11 171929-May-2023 18:49
lpsolve-5.5.2.11-r2 54429-May-2023 18:49
lrcalc-1.2 36406-Jan-2021 15:39
lrcalc-2.1 36407-Mar-2022 14:40
mathematica-10.3.1-r1 67129-May-2023 18:49
mathematica-12.1.0 67129-May-2023 18:49
mathematica-12.1.1-r1 67129-May-2023 18:49
mathematica-12.2.0 67129-May-2023 18:49
mathematica-13.0.0 67629-May-2023 18:49
mathematica-13.0.1 104429-May-2023 18:49
mathematica-13.1.0 113229-May-2023 18:49
mathematica-13.2.1 111129-May-2023 18:49
mathlib-tools-1.3.2_p1 457003-Jun-2023 07:11
mathmod-4.1-r1 72829-May-2023 18:49
mathomatic-16.0.5-r1 69429-May-2023 18:49
maxima-5.46.0-r1 298429-May-2023 18:49
maxima-5.47.0 298601-Jun-2023 16:10
metamath-0.198 71629-May-2023 18:49
metamath-databases-20220303 42004-Mar-2023 16:40
minisat-2.2.1-r1 87029-May-2023 18:49
msieve-1.53-r1 68829-May-2023 18:49
nauty-2.8.6-r1 102305-Jun-2023 04:40
nestedsums-1.5.2-r1 83029-May-2023 18:49
normaliz-3.10.0 98429-May-2023 18:49
normaliz-3.9.3 67829-May-2023 18:49
num-utils-0.5-r2 44403-Jun-2023 11:40
octave-7.3.0-r2 433829-May-2023 18:49
octave-8.1.0 434029-May-2023 18:49
octave-8.2.0 434029-May-2023 18:49
octave-epstk-2.4 43522-Nov-2021 03:39
opensmt-2.4.3-r2 115129-May-2023 18:49
opensmt-2.5.0 115129-May-2023 18:49
otter-3.3-r4 78129-May-2023 18:49
pari-2.15.3 105005-Jun-2023 05:40
pari-data-20191216 71703-Jun-2023 11:40
petsc-3.16.0-r1 241006-Jun-2023 18:10
petsc-3.17.1-r1 201729-May-2023 18:49
petsc-3.18.2 207129-May-2023 18:49
petsc-3.19.1 207129-May-2023 18:49
picosat-965 39229-May-2023 18:49
planarity-3.0.2.0 38211-Aug-2022 08:10
plfit-0.9.3 77829-May-2023 18:49
polymake-4.6-r1 177629-May-2023 18:49
polymake-4.9 177829-May-2023 18:49
primecount-7.6 93829-May-2023 18:49
primesieve-11.0 86529-May-2023 18:49
prng-3.0.2-r3 73329-May-2023 18:49
prover9-2009.11a 53929-May-2023 18:49
psmt2-frontend-0.2 98029-May-2023 18:49
psmt2-frontend-0.4.0 82826-Mar-2023 12:22
pspp-1.6.2-r2 161129-May-2023 18:49
rkward-0.7.5 250129-May-2023 18:49
rngstreams-1.0.1 45417-Mar-2023 22:18
rw-0.9 37526-May-2021 07:09
sha1-polyml-5.9 45229-May-2023 18:49
singular-4.3.1_p1 94410-May-2023 18:19
singular-4.3.1_p3 94905-Jun-2023 10:10
singular-4.3.2_p1 98404-Jun-2023 23:40
slepc-3.16.0 115906-Jun-2023 18:10
slepc-3.17.1 115906-Jun-2023 18:10
slepc-3.18.1 98629-May-2023 18:49
slepc-3.19.0 108029-May-2023 18:49
smtinterpol-2.5_p20211018 92029-May-2023 18:49
spin-6.5.2-r1 69429-May-2023 18:49
stp-2.3.3-r3 200429-May-2023 18:49
sympow-2.023.6 51729-May-2023 18:49
topcom-0.17.8-r3 108029-May-2023 18:49
twelf-1.7.1-r2 64910-May-2023 18:19
unuran-1.8.1 65217-Mar-2023 22:18
unuran-1.9.0 104829-May-2023 18:49
vampire-4.6.1-r2 90729-May-2023 18:49
vampire-4.7-r1 93729-May-2023 18:49
verit-2021.06.2 32010-Mar-2022 21:39
why3-1.4.1-r1 186729-May-2023 18:49
why3-1.5.1 196629-May-2023 18:49
why3-1.6.0 197029-May-2023 18:49
why3-for-spark-2021-r1 196429-May-2023 18:49
wxmaxima-23.04.1 123931-May-2023 08:40
wxmaxima-23.05.1 124129-May-2023 18:49
yacas-1.9.1 165829-May-2023 18:49
yafu-1.34.3-r1 89229-May-2023 18:49
yices2-2.6.4-r1 91429-May-2023 18:49
z3-4.12.1 227329-May-2023 18:49