../ texlab_5.23.1-5.debian.tar.xz 25-Nov-2025 16:00 9540 texlab_5.23.1-5.dsc 25-Nov-2025 16:00 4214 texlab_5.23.1-5_arm64.deb 25-Nov-2025 19:20 9M texlab_5.23.1-5_armhf.deb 25-Nov-2025 19:20 9M texlab_5.23.1-5_ppc64el.deb 25-Nov-2025 19:21 9M texlab_5.23.1-5_riscv64.deb 26-Nov-2025 00:42 9M texlab_5.23.1-5_s390x.deb 25-Nov-2025 19:21 9M texlab_5.23.1.orig.tar.gz 03-Nov-2025 22:43 7M