../ NEWS.Debian.gz 21-Dec-2025 20:09 716 NEWS.gz 20-Dec-2025 02:53 115K README.Debian 12-Dec-2025 03:19 676 README.gz 20-Dec-2025 02:53 11K changelog.Debian.gz 21-Dec-2025 20:09 6283 changelog.gz 06-Sep-2025 21:52 140K copyright 21-Dec-2025 20:05 15K refcard.dvi.gz 21-Dec-2025 20:09 7378 refcard.ps.gz 21-Dec-2025 20:09 124K refcard.tex.gz 06-Sep-2025 21:52 8079