../ changelog.Debian.amd64.gz 19-Sep-2022 02:54 240 changelog.Debian.gz 19-Sep-2022 02:54 10422 changelog.gz 13-Jul-2019 17:50 5624 copyright 27-Nov-2021 12:25 2228 manual.html 13-Jul-2019 17:50 126958 manual.pdf.gz 13-Jul-2019 17:50 180060 manual.ps.gz 13-Jul-2019 17:50 231725 manual.texi.gz 03-Dec-2021 08:32 26928