../ changelog.Debian.gz 19-Aug-2024 15:41 1461 changelog.gz 13-Jul-2019 17:50 5624 copyright 17-Aug-2024 23:51 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 19-Aug-2024 15:41 26928