../ NEWS.Debian.gz 25-Feb-2022 08:27 371 README.Debian 25-Feb-2022 08:27 3189 README.configure-options 25-Feb-2022 08:27 80 changelog.Debian.gz 25-Feb-2022 08:27 19K changelog.gz 18-Oct-2016 17:13 35K copyright 25-Feb-2022 08:27 3577