| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| matita-doc_0.5.8-4_all.deb | 1M | 19-Aug-2017 16:17 |
| matita_0.99.1-3_amd64.deb | 3M | 19-Sep-2017 07:58 |
| matita_0.99.3-1+b2_amd64.deb | 4M | 26-Sep-2017 18:14 |
| matita_0.99.3-1.debian.tar.xz | 4296 | 24-May-2016 20:22 |
| matita_0.99.3-1.dsc | 2167 | 24-May-2016 20:22 |
| matita_0.99.3-1_amd64.deb | 3M | 19-Aug-2017 16:17 |
| matita_0.99.3.orig.tar.gz | 3M | 24-May-2016 20:22 |