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