../ texlab_5.23.1-1.debian.tar.xz 02-Aug-2025 03:36 4228 texlab_5.23.1-1.dsc 02-Aug-2025 03:36 3171 texlab_5.23.1-1_amd64.deb 02-Aug-2025 04:06 10484488 texlab_5.23.1-1_arm64.deb 02-Aug-2025 04:06 9853032 texlab_5.23.1-1_armhf.deb 02-Aug-2025 04:11 9357180 texlab_5.23.1-1_i386.deb 02-Aug-2025 04:11 10329312 texlab_5.23.1-1_riscv64.deb 02-Aug-2025 04:36 9943340 texlab_5.23.1.orig.tar.gz 02-Aug-2025 03:36 7519089