Index of /mipsel/pool/main/m/matita/

../
matita_0.99.1-3+b1_mips64el.deb                    27-Jan-2016 22:52      7M
matita_0.99.1-3+b1_mipsel.deb                      27-Jan-2016 01:34      7M
matita_0.99.1-3.debian.tar.gz                      11-Dec-2013 04:44    4848
matita_0.99.1-3.dsc                                11-Dec-2013 04:44    1542
matita_0.99.1.orig.tar.gz                          07-May-2012 05:36     10M