directories: 0, files: 5
| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| matita_0.99.1.orig.tar.gz | 2012-05-17 13:33:44 | 9.89 MiB |
| matita_0.99.1-3_i386.deb | 2013-12-24 01:08:34 | 2.32 MiB |
| matita_0.99.1-3_amd64.deb | 2013-12-24 01:08:28 | 2.44 MiB |
| matita_0.99.1-3.dsc | 2013-12-11 18:28:46 | 1.51 KiB |
| matita_0.99.1-3.debian.tar.gz | 2013-12-11 18:28:46 | 4.73 KiB |