../ texlab_5.23.1-1.debian.tar.xz 01-Aug-2025 20:36 4228 texlab_5.23.1-1.dsc 01-Aug-2025 20:36 3171 texlab_5.23.1-1_amd64.deb 01-Aug-2025 21:06 10484488 texlab_5.23.1-1_i386.deb 01-Aug-2025 21:11 10329312 texlab_5.23.1-1_riscv64.deb 01-Aug-2025 21:36 9943340 texlab_5.23.1-1_s390x.deb 01-Aug-2025 21:06 9750144 texlab_5.23.1.orig.tar.gz 01-Aug-2025 20:36 7519089