../ HOWTO/ 01-Jun-2023 06:12 - FAQ 11-Sep-2018 12:48 84 NEWS.Debian.gz 17-Sep-2018 12:13 252 NEWS.gz 11-Sep-2018 12:48 12507 README 11-Sep-2018 12:48 3157 README.Debian 17-Sep-2018 12:13 2122 README.ENGINE.gz 11-Sep-2018 12:48 6030 README.optimization 17-Sep-2018 12:13 1385 changelog.Debian.gz 08-Oct-2019 20:54 26320 changelog.gz 12-Sep-2019 19:37 194003 copyright 13-Sep-2019 22:38 6548 fingerprints.txt 11-Sep-2018 12:48 1058