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/pool/universe/m/matita/

Index of /pub/ubuntu/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_amd64.deb 255794624-Dec-2013 00:08
matita_0.99.1-3_i386.deb 243180024-Dec-2013 00:08
matita_0.99.1.orig.tar.gz 1036606517-May-2012 11:33