| c | File Name | Size | T | Date |
|---|---|---|---|---|
| - | changelog.Debian.gz | 2497 | gz | 2019-09-05 15:05:14 |
| - | copyright | 2228 | % | 2019-09-04 13:22:31 |
| - | manual.html | 126958 | html | 2019-07-13 17:50:07 |
| - | manual.pdf.gz | 180060 | gz | 2019-07-13 17:50:27 |
| - | manual.ps.gz | 231725 | gz | 2019-07-13 17:50:17 |
| - | manual.texi.gz | 26928 | gz | 2019-09-05 15:05:14 |