../ tetex-brev_5.00-1.debian.tar.xz 18-Jul-2025 03:14 5088 tetex-brev_5.00-1.dsc 18-Jul-2025 03:14 1148 tetex-brev_5.00-1_all.deb 14-Jul-2025 05:17 13756 tetex-brev_5.00.orig.tar.gz 18-Jul-2025 03:14 18494