Index of /anvil/pool/universe/m/matita
Name
Last modified
Size
Description
Parent Directory
-
matita_0.99.1.orig.tar.gz
2012-09-26 11:56
9.9M
matita_0.5.8-2build2_amd64.deb
2010-04-16 23:05
5.8M
matita_0.5.8-3build1_amd64.deb
2012-03-19 10:42
5.7M
matita_0.5.8.orig.tar.gz
2010-03-22 20:05
5.6M
matita_0.5.8-3_amd64.deb
2011-08-13 02:13
5.6M
matita_0.5.8-3build1_i386.deb
2012-03-12 10:57
5.5M
matita_0.5.8-2build2_i386.deb
2010-04-16 18:05
5.5M
matita_0.5.8-3_i386.deb
2011-08-13 02:13
5.4M
matita_0.99.1-1_amd64.deb
2012-10-07 17:46
3.8M
matita_0.99.1-1_i386.deb
2012-09-29 14:21
3.2M
matita_0.99.1-3_amd64.deb
2014-04-14 22:01
2.4M
matita_0.99.1-3_i386.deb
2014-04-04 19:45
2.3M
matita-doc_0.5.8-2build2_all.deb
2010-04-16 18:05
1.2M
matita-doc_0.5.8-3_all.deb
2011-08-13 02:13
1.1M
matita-doc_0.5.8-3build1_all.deb
2012-03-12 10:57
1.1M
matita_0.5.8-3build1.debian.tar.gz
2012-03-09 13:05
6.5K
matita_0.5.8-3.debian.tar.gz
2011-08-13 02:13
6.4K
matita_0.5.8-2build2.diff.gz
2010-04-16 18:05
5.2K
matita_0.99.1-3.debian.tar.gz
2015-01-04 23:37
4.7K
matita_0.99.1-1.debian.tar.gz
2012-09-26 11:56
4.3K
matita_0.5.8-3build1.dsc
2012-03-09 13:05
2.0K
matita_0.5.8-3.dsc
2011-08-13 02:13
1.9K
matita_0.5.8-2build2.dsc
2010-04-16 18:05
1.7K
matita_0.99.1-3.dsc
2015-01-04 23:37
1.5K
matita_0.99.1-1.dsc
2012-09-26 11:56
1.5K