Index of /mirror/raspbian/raspbian/pool/main/m/matita
Name Last modified Size Description
![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg)
Parent Directory -
![[ ]](/icons/compressed.gif)
matita_0.99.1-1.debian.tar.gz 2012-05-06 23:36 4.3K
![[TXT]](/strapdown/icons/glyphicon-file.svg)
matita_0.99.1-1.dsc 2012-05-06 23:36 1.5K
matita_0.99.1-1_armhf.deb 2012-05-29 17:11 8.9M
matita_0.99.1-3.debian.tar.gz 2013-12-10 21:44 4.7K
matita_0.99.1-3.dsc 2013-12-10 21:44 1.5K
matita_0.99.1-3_armhf.deb 2013-12-13 04:20 4.3M
matita_0.99.1.orig.tar.gz 2012-05-06 23:36 9.9M
matita_0.99.3-1.debian.tar.xz 2016-05-24 22:22 4.2K
matita_0.99.3-1.dsc 2016-05-24 22:22 2.1K
matita_0.99.3-1_armhf.deb 2016-08-15 03:21 2.8M
matita_0.99.3.orig.tar.gz 2016-05-24 22:22 3.0M