| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| changelog.Debian.gz | File | 1.44 KB | 0644 | Edit | Rename | Chmod | Delete |
| copyright | File | 2.18 KB | 0644 | Edit | Rename | Chmod | Delete |
| manual.html | File | 123.98 KB | 0644 | Edit | Rename | Chmod | Delete |
| manual.pdf.gz | File | 175.84 KB | 0644 | Edit | Rename | Chmod | Delete |
| manual.ps.gz | File | 226.29 KB | 0644 | Edit | Rename | Chmod | Delete |
| manual.texi.gz | File | 26.3 KB | 0644 | Edit | Rename | Chmod | Delete |