Index of ftp://ftp.fedora.is/pub/ubuntu/pool/universe/m/matita

[DIR] Parent Directory

[ ] matita_0.5.8-3build1_amd64.deb  5.73Mb  November 29 2011  [find mirrors]
[ ] matita_0.5.8-3build1_armel.deb  5.42Mb  November 29 2011  [find mirrors]
[ ] matita_0.5.8-3build1_armhf.deb  5.42Mb  April 20 2012  [find mirrors]
[ GZ] matita_0.5.8-3build1.debian.tar.gz  6.47Kb  November 29 2011  [find mirrors]
[ ] matita_0.5.8-3build1.dsc  2.02Kb  November 29 2011  [find mirrors]
[ ] matita_0.5.8-3build1_i386.deb  5.54Mb  November 29 2011  [find mirrors]
[ ] matita_0.5.8-3build1_powerpc.deb  5.57Mb  November 29 2011  [find mirrors]
[ GZ] matita_0.5.8.orig.tar.gz  5.61Mb  March 22 2010  [find mirrors]
[ ] matita_0.99.1-3_amd64.deb  2.44Mb  December 24 2013  [find mirrors]
[ ] matita_0.99.1-3_arm64.deb  6.84Mb  December 24 2013  [find mirrors]
[ ] matita_0.99.1-3_armhf.deb  2.44Mb  December 24 2013  [find mirrors]
[ GZ] matita_0.99.1-3.debian.tar.gz  4.73Kb  December 11 2013  [find mirrors]
[ ] matita_0.99.1-3.dsc  1.51Kb  December 11 2013  [find mirrors]
[ ] matita_0.99.1-3_i386.deb  2.32Mb  December 24 2013  [find mirrors]
[ ] matita_0.99.1-3_powerpc.deb  2.14Mb  December 24 2013  [find mirrors]
[ ] matita_0.99.1-3_ppc64el.deb  6.85Mb  February 18 2014  [find mirrors]
[ GZ] matita_0.99.1.orig.tar.gz  9.89Mb  May 17 2012  [find mirrors]
[ ] matita-doc_0.5.8-3build1_all.deb  1.08Mb  November 29 2011  [find mirrors]