Index of /debian/pool/main/m/matita
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/compressed.gif)
matita_0.99.3.orig.tar.gz 24-May-2016 23:22 3.0M
![[ ]](/icons/unknown.gif)
matita_0.99.3-1_hurd-i386.deb 25-May-2016 02:18 2.8M
![[TXT]](/icons/text.gif)
matita_0.99.3-1.dsc 24-May-2016 23:22 2.1K
matita_0.99.3-1.debian.tar.xz 24-May-2016 23:22 4.2K
matita_0.99.3-1+b3_armhf.deb 06-Oct-2017 19:29 3.4M
matita_0.99.3-1+b3_armel.deb 06-Oct-2017 20:44 8.4M
matita_0.99.3-1+b2_s390x.deb 26-Sep-2017 19:59 5.0M
matita_0.99.3-1+b2_ppc64el.deb 26-Sep-2017 19:59 4.8M
matita_0.99.3-1+b2_powerpc.deb 26-Sep-2017 20:14 3.3M
matita_0.99.3-1+b2_mipsel.deb 27-Sep-2017 05:27 8.4M
matita_0.99.3-1+b2_mips64el.deb 27-Sep-2017 07:28 8.4M
matita_0.99.3-1+b2_mips.deb 26-Sep-2017 20:49 8.4M
matita_0.99.3-1+b2_kfreebsd-i386.deb 26-Sep-2017 19:59 3.4M
matita_0.99.3-1+b2_kfreebsd-amd64.deb 27-Sep-2017 17:26 4.3M
matita_0.99.3-1+b2_i386.deb 26-Sep-2017 20:14 3.4M
matita_0.99.3-1+b2_arm64.deb 26-Sep-2017 19:59 4.7M
matita_0.99.3-1+b2_amd64.deb 26-Sep-2017 21:14 4.3M
matita_0.99.3-1+b1_s390x.deb 08-Mar-2017 04:00 8.4M
matita_0.99.3-1+b1_ppc64el.deb 08-Mar-2017 13:11 8.4M
matita_0.99.3-1+b1_mipsel.deb 08-Mar-2017 17:28 8.4M
matita_0.99.3-1+b1_mips64el.deb 08-Mar-2017 16:43 8.4M
matita_0.99.3-1+b1_mips.deb 08-Mar-2017 08:13 8.4M
matita_0.99.3-1+b1_i386.deb 08-Mar-2017 05:42 3.1M
matita_0.99.3-1+b1_armhf.deb 13-Mar-2017 04:44 3.3M
matita_0.99.3-1+b1_armel.deb 12-Mar-2017 00:29 3.2M
matita_0.99.3-1+b1_arm64.deb 08-Mar-2017 02:58 3.3M
matita_0.99.3-1+b1_amd64.deb 08-Mar-2017 04:15 3.3M
matita_0.99.1.orig.tar.gz 07-May-2012 00:36 9.9M
matita_0.99.1-3_s390x.deb 10-Dec-2013 23:59 7.0M
matita_0.99.1-3_ppc64el.deb 12-Sep-2014 01:09 7.0M
matita_0.99.1-3_powerpc.deb 10-Dec-2013 23:59 2.3M
matita_0.99.1-3_mipsel.deb 11-Dec-2013 02:30 7.0M
matita_0.99.1-3_mips.deb 11-Dec-2013 01:59 7.0M
matita_0.99.1-3_kfreebsd-i386.deb 10-Dec-2013 23:59 2.4M
matita_0.99.1-3_kfreebsd-amd64.deb 11-Dec-2013 00:14 2.5M
matita_0.99.1-3_i386.deb 10-Dec-2013 23:44 2.4M
matita_0.99.1-3_armhf.deb 11-Dec-2013 02:45 2.5M
matita_0.99.1-3_armel.deb 11-Dec-2013 04:00 2.5M
matita_0.99.1-3_arm64.deb 20-Oct-2014 05:30 7.0M
matita_0.99.1-3_amd64.deb 10-Dec-2013 22:44 2.6M
matita_0.99.1-3.dsc 10-Dec-2013 22:44 1.5K
matita_0.99.1-3.debian.tar.gz 10-Dec-2013 22:44 4.7K
matita_0.99.1-1_sparc.deb 07-May-2012 02:03 3.8M
matita_0.99.1-1_s390x.deb 07-May-2012 01:18 8.9M
matita_0.99.1-1_s390.deb 07-May-2012 01:18 8.9M
matita_0.99.1-1_powerpc.deb 08-May-2012 10:36 3.8M
matita_0.99.1-1_mipsel.deb 07-May-2012 09:02 8.9M
matita_0.99.1-1_mips.deb 07-May-2012 03:06 8.9M
matita_0.99.1-1_kfreebsd-i386.deb 07-May-2012 01:32 3.3M
matita_0.99.1-1_kfreebsd-amd64.deb 07-May-2012 02:18 3.9M
matita_0.99.1-1_ia64.deb 07-May-2012 01:18 8.9M
matita_0.99.1-1_i386.deb 07-May-2012 02:17 3.3M
matita_0.99.1-1_armhf.deb 07-May-2012 02:49 8.9M
matita_0.99.1-1_armel.deb 07-May-2012 11:55 3.7M
matita_0.99.1-1_amd64.deb 07-May-2012 00:36 3.9M
matita_0.99.1-1.dsc 07-May-2012 00:36 1.5K
matita_0.99.1-1.debian.tar.gz 07-May-2012 00:36 4.3K