../ texlab_5.23.1-1.debian.tar.xz 01-Aug-2025 23:36 4228 texlab_5.23.1-1.dsc 01-Aug-2025 23:36 3171 texlab_5.23.1-1_amd64.deb 02-Aug-2025 00:06 10M texlab_5.23.1-1_i386.deb 02-Aug-2025 00:11 10M texlab_5.23.1.orig.tar.gz 01-Aug-2025 23:36 7M