| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| changelog.Debian.gz | File | 1.53 KB | 0644 |
|
| copyright | File | 2.44 KB | 0644 |
|
| manual.html | File | 125 KB | 0644 |
|
| manual.ps.gz | File | 201.11 KB | 0644 |
|
| manual.texi.gz | File | 26.21 KB | 0644 |
|