../ HOWTO/ 08-Nov-2019 09:57 - FAQ 28-May-2019 13:12 84 NEWS.Debian.gz 16-Apr-2019 19:16 252 NEWS.gz 28-May-2019 13:12 12676 README 28-May-2019 13:12 3158 README.Debian 16-Apr-2019 19:16 2588 README.ENGINE.gz 28-May-2019 13:12 6030 README.optimization 16-Apr-2019 19:16 1385 changelog.Debian.gz 30-May-2019 15:27 26103 changelog.gz 28-May-2019 13:12 192302 copyright 16-Apr-2019 19:16 6548 fingerprints.txt 28-May-2019 13:12 1046