texlab_5.25.1-2.debian.tar.xz
texlab_5.25.1-2.dsc
texlab_5.25.1-2_amd64.deb
texlab_5.25.1-2_arm64.deb
texlab_5.25.1-2_i386.deb
texlab_5.25.1.orig.tar.gz