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


../
matita-doc_0.5.8-3build1_all.deb                   29-Nov-2011 09:04             1132118
matita_0.5.8-3build1_amd64.deb                     29-Nov-2011 09:04             6010500
matita_0.5.8-3build1_i386.deb                      29-Nov-2011 09:05             5812404
matita_0.99.1-3_amd64.deb                          24-Dec-2013 00:08             2557946
matita_0.99.1-3_i386.deb                           24-Dec-2013 00:08             2431800