../ texlab_5.23.1-5.debian.tar.xz 25-Nov-2025 08:00 9540 texlab_5.23.1-5.dsc 25-Nov-2025 08:00 4214 texlab_5.23.1-5_arm64.deb 25-Nov-2025 11:20 9176506 texlab_5.23.1-5_armhf.deb 25-Nov-2025 11:20 9104886 texlab_5.23.1-5_ppc64el.deb 25-Nov-2025 11:21 9406416 texlab_5.23.1-5_riscv64.deb 25-Nov-2025 16:42 9359584 texlab_5.23.1-5_s390x.deb 25-Nov-2025 11:21 9316628 texlab_5.23.1.orig.tar.gz 03-Nov-2025 14:43 7519089