Index of /linux/distributions/ubuntu/pool/universe/m/matita
Name
Last modified
Size
Description
Parent Directory
-
matita_0.99.1-3.debian.tar.gz
2013-12-11 18:28
4.7K
matita_0.99.1-3.dsc
2013-12-11 18:28
1.5K
matita_0.99.1-3_amd64.deb
2013-12-24 01:08
2.4M
matita_0.99.1.orig.tar.gz
2012-05-17 13:33
9.9M