| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| matita_0.99.1-3.debian.tar.gz | 11/12/13 17:2811/12/13 | 4.7 KiB | [Save][Download] |
| matita_0.99.1-3.dsc | 11/12/13 17:2811/12/13 | 1.5 KiB | [Save][Download] |
| matita_0.99.1-3_amd64.deb | 24/12/13 00:0824/12/13 | 2.4 MiB | [Save][Download] |
| matita_0.99.1-3_i386.deb | 24/12/13 00:0824/12/13 | 2.3 MiB | [Save][Download] |
| matita_0.99.1.orig.tar.gz | 17/05/12 11:3317/05/12 | 9.9 MiB | [Save][Download] |