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/ubuntu-ports/pool/universe/m/metamath/

Index of /pub/ubuntu-ports/pool/universe/m/metamath/

File NameFile SizeDate
Parent directory/--
metamath_0.180-1.debian.tar.xz 208802-Jan-2020 23:13
metamath_0.180-1.dsc 120802-Jan-2020 23:13
metamath_0.180-1_arm64.deb 33577202-Jan-2020 23:58
metamath_0.180-1_armhf.deb 30747602-Jan-2020 23:58
metamath_0.180-1_ppc64el.deb 38073202-Jan-2020 23:58
metamath_0.180-1_riscv64.deb 35448003-Apr-2020 10:14
metamath_0.180-1_s390x.deb 35892802-Jan-2020 23:58
metamath_0.180.orig.tar.gz 44481402-Jan-2020 23:13
metamath_0.195-1.debian.tar.xz 192801-Jan-2021 17:19
metamath_0.195-1.dsc 120801-Jan-2021 17:19
metamath_0.195-1_arm64.deb 34047201-Jan-2021 17:35
metamath_0.195-1_armhf.deb 31506801-Jan-2021 17:35
metamath_0.195-1_ppc64el.deb 38949601-Jan-2021 17:35
metamath_0.195-1_riscv64.deb 36368801-Jan-2021 17:49
metamath_0.195-1_s390x.deb 36951201-Jan-2021 17:19
metamath_0.195.orig.tar.gz 46687601-Jan-2021 17:19