../ tetex-brev_4.24-2.debian.tar.xz 14-Feb-2023 19:39 4252 tetex-brev_4.24-2.dsc 14-Feb-2023 19:39 2031 tetex-brev_4.24-2_all.deb 14-Feb-2023 19:39 14K tetex-brev_4.24.orig.tar.gz 19-Oct-2021 06:20 18K