⇠ debian/pool/main/m/matita
Name Time SizeParent Directory matita_0.99.1-3.debian.tar.gz 11-Dec-2013 03:44 4848 matita_0.99.1-3.dsc 11-Dec-2013 03:44 1542 matita_0.99.1-3_amd64.deb 11-Dec-2013 03:44 3M matita_0.99.1-3_armel.deb 11-Dec-2013 09:00 2M matita_0.99.1-3_armhf.deb 11-Dec-2013 07:45 3M matita_0.99.1-3_i386.deb 11-Dec-2013 04:44 2M matita_0.99.1.orig.tar.gz 07-May-2012 04:36 10M matita_0.99.3-1+b1_amd64.deb 08-Mar-2017 09:15 3M matita_0.99.3-1+b1_arm64.deb 08-Mar-2017 07:58 3M matita_0.99.3-1+b1_armel.deb 12-Mar-2017 05:29 3M matita_0.99.3-1+b1_armhf.deb 13-Mar-2017 09:44 3M matita_0.99.3-1+b1_i386.deb 08-Mar-2017 10:42 3M matita_0.99.3-1+b1_mips.deb 08-Mar-2017 13:13 8M matita_0.99.3-1+b1_mips64el.deb 08-Mar-2017 21:43 8M matita_0.99.3-1+b1_mipsel.deb 08-Mar-2017 22:28 8M matita_0.99.3-1+b1_ppc64el.deb 08-Mar-2017 18:11 8M matita_0.99.3-1+b1_s390x.deb 08-Mar-2017 09:00 8M matita_0.99.3-1.debian.tar.xz 25-May-2016 03:22 4296 matita_0.99.3-1.dsc 25-May-2016 03:22 2167 matita_0.99.3.orig.tar.gz 25-May-2016 03:22 3M