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/linuxmint-debian/build/pool/main/m/matita/

Index of /pub/linuxmint-debian/build/pool/main/m/matita/

File NameFile SizeDate
Parent directory/--
matita-doc_0.5.8-2_all.deb 167057604-Dec-2009 16:19
matita_0.5.8-2+b1_amd64.deb 609286425-Feb-2010 23:54
matita_0.5.8-2+b1_i386.deb 505691025-Feb-2010 23:54
matita_0.5.8-2.diff.gz 526604-Dec-2009 16:19
matita_0.5.8-2.dsc 172104-Dec-2009 16:19
matita_0.5.8.orig.tar.gz 587903401-Dec-2009 23:47
matita_0.99.1-1.debian.tar.gz 436406-May-2012 21:36
matita_0.99.1-1.dsc 154206-May-2012 21:36
matita_0.99.1-1_amd64.deb 409798406-May-2012 21:36
matita_0.99.1-1_i386.deb 345338006-May-2012 23:17
matita_0.99.1-2.debian.tar.gz 432902-Oct-2013 12:12
matita_0.99.1-2.dsc 154202-Oct-2013 12:12
matita_0.99.1-2_amd64.deb 237378402-Oct-2013 12:12
matita_0.99.1-2_i386.deb 225831202-Oct-2013 12:42
matita_0.99.1.orig.tar.gz 1036606506-May-2012 21:36