Welcome to NYCU CSIT Mirror site

Index of /pool/main/m/matita/

../
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_armel.deb                       26-Sep-2017 19:25             4076540
matita_0.99.3-1+b2_armhf.deb                       26-Sep-2017 22:41             4154482
matita_0.99.3-1+b2_i386.deb                        26-Sep-2017 17:14             3595368
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