texlab_5.25.1-2+b2_amd64.deb
texlab_5.25.1-2.debian.tar.xz
texlab_5.25.1-2.dsc
texlab_5.25.1.orig.tar.gz