![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | changelog.Debian.gz | 2024-08-19 17:41 | 1.4K | |
![]() | changelog.gz | 2019-07-13 19:50 | 5.5K | |
![]() | copyright | 2024-08-18 01:51 | 2.2K | |
![]() | manual.html | 2019-07-13 19:50 | 124K | |
![]() | manual.pdf.gz | 2019-07-13 19:50 | 176K | |
![]() | manual.ps.gz | 2019-07-13 19:50 | 226K | |
![]() | manual.texi.gz | 2024-08-19 17:41 | 26K | |