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/matita/

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

File NameFile SizeDate
Parent directory/--
matita_0.99.1-3.debian.tar.gz 484811-Dec-2013 17:28
matita_0.99.1-3.dsc 154211-Dec-2013 17:28
matita_0.99.1-3_arm64.deb 717443424-Dec-2013 01:58
matita_0.99.1-3_armhf.deb 255545824-Dec-2013 00:18
matita_0.99.1-3_powerpc.deb 224771624-Dec-2013 01:18
matita_0.99.1-3_ppc64el.deb 717962818-Feb-2014 06:58
matita_0.99.1.orig.tar.gz 1036606517-May-2012 11:33