../ NEWS.Debian.gz 22-Jan-2019 08:53 371 README.Debian 22-Jan-2019 08:53 3189 README.configure-options 22-Jan-2019 08:53 80 changelog.Debian.gz 22-Jan-2019 08:53 18876 changelog.gz 18-Oct-2016 17:13 36190 copyright 22-Jan-2019 08:53 3577