../ tetex-brev_5.00-1.debian.tar.xz 18-Jul-2025 08:14 5088 tetex-brev_5.00-1.dsc 18-Jul-2025 08:14 1148 tetex-brev_5.00-1_all.deb 14-Jul-2025 10:17 13K tetex-brev_5.00.orig.tar.gz 18-Jul-2025 08:14 18K