Index of /debian/pool/main/m/matita

      Name                    Last modified       Size  Description

[DIR] Parent Directory 17-Nov-2019 20:00 - [   ] matita_0.99.1-3.debi..> 10-Dec-2013 21:44 5k [TXT] matita_0.99.1-3.dsc 10-Dec-2013 21:44 2k [TXT] matita_0.99.1-3_amd6..> 10-Dec-2013 21:44 2.6M [TXT] matita_0.99.1-3_arme..> 11-Dec-2013 03:00 2.5M [TXT] matita_0.99.1-3_armh..> 11-Dec-2013 01:45 2.5M [TXT] matita_0.99.1-3_i386..> 10-Dec-2013 22:44 2.4M [   ] matita_0.99.1.orig.t..> 06-May-2012 23:36 9.9M [TXT] matita_0.99.3-1+b1_a..> 08-Mar-2017 03:15 3.3M [TXT] matita_0.99.3-1+b1_a..> 08-Mar-2017 01:58 3.3M [TXT] matita_0.99.3-1+b1_a..> 11-Mar-2017 23:29 3.2M [TXT] matita_0.99.3-1+b1_a..> 13-Mar-2017 03:44 3.3M [TXT] matita_0.99.3-1+b1_i..> 08-Mar-2017 04:42 3.1M [TXT] matita_0.99.3-1+b1_m..> 08-Mar-2017 07:13 8.4M [TXT] matita_0.99.3-1+b1_m..> 08-Mar-2017 15:43 8.4M [TXT] matita_0.99.3-1+b1_m..> 08-Mar-2017 16:28 8.4M [TXT] matita_0.99.3-1+b1_p..> 08-Mar-2017 12:11 8.4M [TXT] matita_0.99.3-1+b1_s..> 08-Mar-2017 03:00 8.4M [TXT] matita_0.99.3-1+b2_a..> 26-Sep-2017 20:14 4.3M [TXT] matita_0.99.3-1+b2_a..> 26-Sep-2017 18:59 4.7M [TXT] matita_0.99.3-1+b2_i..> 26-Sep-2017 19:14 3.4M [TXT] matita_0.99.3-1+b2_m..> 27-Sep-2017 06:28 8.4M [TXT] matita_0.99.3-1+b2_m..> 27-Sep-2017 04:27 8.4M [TXT] matita_0.99.3-1+b2_p..> 26-Sep-2017 18:59 4.8M [TXT] matita_0.99.3-1+b2_s..> 26-Sep-2017 18:59 5.0M [TXT] matita_0.99.3-1+b3_a..> 06-Oct-2017 19:44 8.4M [TXT] matita_0.99.3-1+b3_a..> 06-Oct-2017 18:29 3.4M [   ] matita_0.99.3-1.debi..> 24-May-2016 22:22 4k [TXT] matita_0.99.3-1.dsc 24-May-2016 22:22 2k [   ] matita_0.99.3.orig.t..> 24-May-2016 22:22 3.0M