The Internode Mirror contains a wide selection of software for download by Internode customers.
File Download Mirror Directory Listing
Index of /pub/ubuntu-ports/pool/universe/m/mathcomp-algebra-tactics/
Index of /pub/ubuntu-ports/pool/universe/m/mathcomp-algebra-tactics/