../ HOWTO/ 01-Aug-2025 09:28 - NEWS.Debian.gz 13-Jul-2025 12:21 252 NEWS.md.gz 01-Jul-2025 12:11 19235 README-ENGINES.md.gz 01-Jul-2025 12:11 5966 README.Debian 13-Jul-2025 12:21 2588 README.md.gz 01-Jul-2025 12:11 2579 README.optimization 13-Jul-2025 12:21 1385 changelog.Debian.gz 13-Jul-2025 12:39 4552 changelog.gz 01-Jul-2025 12:11 247802 copyright 13-Jul-2025 12:21 2543 fingerprints.txt 01-Jul-2025 12:11 858