../ tetex-brev_5.00-1.debian.tar.xz 20-Jun-2024 21:17 5088 tetex-brev_5.00-1.dsc 20-Jun-2024 21:17 2031 tetex-brev_5.00-1_all.deb 20-Jun-2024 21:42 13756 tetex-brev_5.00.orig.tar.gz 20-Jun-2024 21:17 18494