Index of /debian/pool/main/m/matita/
../
matita_0.99.1-3.debian.tar.gz 10-Dec-2013 20:44 4848
matita_0.99.1-3.dsc 10-Dec-2013 20:44 1542
matita_0.99.1-3_amd64.deb 10-Dec-2013 20:44 2674968
matita_0.99.1-3_armel.deb 11-Dec-2013 02:00 2620780
matita_0.99.1-3_armhf.deb 11-Dec-2013 00:45 2651642
matita_0.99.1-3_i386.deb 10-Dec-2013 21:44 2535196
matita_0.99.1.orig.tar.gz 06-May-2012 21:36 10366065
matita_0.99.3-1+b1_amd64.deb 08-Mar-2017 02:15 3455742
matita_0.99.3-1+b1_arm64.deb 08-Mar-2017 00:58 3469000
matita_0.99.3-1+b1_armel.deb 11-Mar-2017 22:29 3393194
matita_0.99.3-1+b1_armhf.deb 13-Mar-2017 02:44 3468184
matita_0.99.3-1+b1_i386.deb 08-Mar-2017 03:42 3269806
matita_0.99.3-1+b1_mips.deb 08-Mar-2017 06:13 8788766
matita_0.99.3-1+b1_mips64el.deb 08-Mar-2017 14:43 8792708
matita_0.99.3-1+b1_mipsel.deb 08-Mar-2017 15:28 8788378
matita_0.99.3-1+b1_ppc64el.deb 08-Mar-2017 11:11 8801820
matita_0.99.3-1+b1_s390x.deb 08-Mar-2017 02:00 8787918
matita_0.99.3-1+b2_amd64.deb 26-Sep-2017 18:14 4557302
matita_0.99.3-1+b2_arm64.deb 26-Sep-2017 16:59 4962646
matita_0.99.3-1+b2_i386.deb 26-Sep-2017 17:14 3595368
matita_0.99.3-1+b2_mips64el.deb 27-Sep-2017 04:28 8824640
matita_0.99.3-1+b2_mipsel.deb 27-Sep-2017 02:27 8824136
matita_0.99.3-1+b2_ppc64el.deb 26-Sep-2017 16:59 5048430
matita_0.99.3-1+b2_s390x.deb 26-Sep-2017 16:59 5228160
matita_0.99.3-1+b3_armel.deb 06-Oct-2017 17:44 8821136
matita_0.99.3-1+b3_armhf.deb 06-Oct-2017 16:29 3570666
matita_0.99.3-1.debian.tar.xz 24-May-2016 20:22 4296
matita_0.99.3-1.dsc 24-May-2016 20:22 2167
matita_0.99.3.orig.tar.gz 24-May-2016 20:22 3145643