| Name | Size | Permission | Action |
|---|---|---|---|
| contrib | --- | 0755 | |
| NEWS.Debian.gz | 459 bytes | 0644 | |
| NEWS.gz | 100315 bytes | 0644 | |
| README.Debian | 592 bytes | 0644 | |
| README.gz | 10338 bytes | 0644 | |
| changelog.Debian.gz | 991 bytes | 0644 | |
| check.log.gz | 445441 bytes | 0644 | |
| copyright | 16139 bytes | 0644 | |
| refcard.dvi.gz | 7380 bytes | 0644 | |
| refcard.ps.gz | 126788 bytes | 0644 | |
| refcard.tex.gz | 8080 bytes | 0644 |