uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/m/matita/

Show dotfiles
Name
Last modified
Size
../
-
-
matita_0.99.1-3.debian.tar.gz
11-Dec-2013 17:28
4.73 KB
matita_0.99.1-3.dsc
11-Dec-2013 17:28
1.51 KB
matita_0.99.1-3_amd64.deb
24-Dec-2013 00:08
2.44 MB
matita_0.99.1-3_i386.deb
24-Dec-2013 00:08
2.32 MB
matita_0.99.1.orig.tar.gz
17-May-2012 11:33
9.89 MB