../ texlab_5.23.1-4.debian.tar.xz 09-Nov-2025 04:40 9448 texlab_5.23.1-4.dsc 09-Nov-2025 04:40 4181 texlab_5.23.1-4_amd64.deb 09-Nov-2025 06:47 9M texlab_5.23.1-4_arm64.deb 09-Nov-2025 06:52 8M texlab_5.23.1-4_armhf.deb 09-Nov-2025 06:52 8M texlab_5.23.1-4_i386.deb 09-Nov-2025 06:52 9M texlab_5.23.1.orig.tar.gz 02-Aug-2025 04:36 7M