source:
Deliverables/D6.6/matita
@
3534
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| matita_0.99.2-1_amd64.deb | 4.3 MB | 3241 | 8 years | Debian package for matita_0.99.2 | |
| matita_0.99.2.orig.tar.gz | 2.2 MB | 3241 | 8 years | Debian package for matita_0.99.2 | |
| matita_0.99.2-1_amd64.build | 64.5 KB | 3241 | 8 years | Debian package for matita_0.99.2 | |
| matita_0.99.2-1.debian.tar.gz | 4.2 KB | 3241 | 8 years | Debian package for matita_0.99.2 | |
| matita_0.99.2-1_amd64.changes | 1.5 KB | 3241 | 8 years | Debian package for matita_0.99.2 | |
| matita_0.99.2-1.dsc | 1.3 KB | 3241 | 8 years | Debian package for matita_0.99.2 | |
| README | 63 bytes | 3241 | 8 years | Debian package for matita_0.99.2 | |
Note: See TracBrowser
for help on using the repository browser.
