../ texlab_5.25.1-1.debian.tar.xz 31-Dec-2025 18:39 4764 texlab_5.25.1-1.dsc 31-Dec-2025 18:39 3387 texlab_5.25.1-1_amd64.deb 31-Dec-2025 19:10 9M texlab_5.25.1.orig.tar.gz 31-Dec-2025 18:39 7M