Index of /ubuntu/pool/universe/m/matita
Name
Last modified
Size
Description
Parent Directory
-
matita-doc_0.5.8-2bu..>
2010-04-17 01:05
1.2M
matita-doc_0.5.8-3bu..>
2011-11-29 17:04
1.1M
matita_0.5.8-2build2..>
2010-04-17 01:05
5.2K
matita_0.5.8-2build2..>
2010-04-17 01:05
1.7K
matita_0.5.8-2build2..>
2010-04-17 06:05
5.8M
matita_0.5.8-2build2..>
2010-04-17 01:05
5.5M
matita_0.5.8-3build1..>
2011-11-29 17:04
6.5K
matita_0.5.8-3build1..>
2011-11-29 17:04
2.0K
matita_0.5.8-3build1..>
2011-11-29 17:04
5.7M
matita_0.5.8-3build1..>
2011-11-29 17:05
5.5M
matita_0.5.8.orig.ta..>
2010-03-23 04:05
5.6M
matita_0.99.1-1.debi..>
2012-05-17 19:33
4.3K
matita_0.99.1-1.dsc
2012-05-17 19:33
1.5K
matita_0.99.1-1_amd6..>
2012-05-18 04:03
3.8M
matita_0.99.1-1_i386..>
2012-05-18 03:34
3.2M
matita_0.99.1-3.debi..>
2013-12-12 01:28
4.7K
matita_0.99.1-3.dsc
2013-12-12 01:28
1.5K
matita_0.99.1-3_amd6..>
2013-12-24 08:08
2.4M
matita_0.99.1-3_i386..>
2013-12-24 08:08
2.3M
matita_0.99.1-3build..>
2015-11-05 23:14
4.6K
matita_0.99.1-3build..>
2015-11-05 23:14
1.8K
matita_0.99.1.orig.t..>
2012-05-17 19:33
9.9M
matita_0.99.3-1.debi..>
2016-12-30 02:53
4.2K
matita_0.99.3-1.dsc
2016-12-30 02:53
2.1K
matita_0.99.3-1_amd6..>
2016-12-30 03:28
3.2M
matita_0.99.3-1_i386..>
2016-12-30 03:28
2.7M
matita_0.99.3-1build..>
2017-07-03 18:48
4.3K
matita_0.99.3-1build..>
2017-07-03 18:48
1.9K
matita_0.99.3-1build..>
2017-07-11 01:03
4.4K
matita_0.99.3-1build..>
2017-07-11 01:03
1.9K
matita_0.99.3.orig.t..>
2016-12-30 02:53
3.0M