../ texlab_5.23.1-4.debian.tar.xz 09-Nov-2025 06:28 9448 texlab_5.23.1-4.dsc 09-Nov-2025 06:28 4181 texlab_5.23.1-4_arm64.deb 09-Nov-2025 21:14 9159966 texlab_5.23.1-4_armhf.deb 09-Nov-2025 21:14 9100226 texlab_5.23.1-4_ppc64el.deb 09-Nov-2025 21:14 9386076 texlab_5.23.1-4_riscv64.deb 10-Nov-2025 00:34 9365500 texlab_5.23.1-4_s390x.deb 09-Nov-2025 21:14 9331688 texlab_5.23.1.orig.tar.gz 03-Nov-2025 13:43 7519089