| Filename | File Size | Date |
|---|---|---|
| .. | ||
| matita_0.99.1-3.debian.tar.gz | 4848 | 2025-05-20T14:25:39.883Z |
| matita_0.99.1-3.dsc | 1542 | 2025-05-20T14:25:40.161Z |
| matita_0.99.1-3_amd64.deb | 2557946 | 2025-05-20T14:25:40.442Z |
| matita_0.99.1-3_i386.deb | 2431800 | 2025-05-20T14:25:40.671Z |
| matita_0.99.1.orig.tar.gz | 10366065 | 2025-05-20T14:25:42.169Z |