Index of /deepin/pool/main/m/matita/


../
matita_0.99.3-1+b1_amd64.deb                       08-Mar-2017 10:15      3M
matita_0.99.3-1+b1_arm64.deb                       08-Mar-2017 08:58      3M
matita_0.99.3-1+b1_i386.deb                        08-Mar-2017 11:42      3M
matita_0.99.3-1+b1_mips64el.deb                    08-Mar-2017 22:43      8M
matita_0.99.3-1+b2_amd64.deb                       27-Sep-2017 02:14      4M
matita_0.99.3-1+b2_i386.deb                        27-Sep-2017 01:14      3M
matita_0.99.3-1.debian.tar.xz                      25-May-2016 04:22    4296
matita_0.99.3-1.dsc                                25-May-2016 04:22    2167
matita_0.99.3.orig.tar.gz                          25-May-2016 04:22      3M