texlab_5.25.1-2+b1_amd64.deb
texlab_5.25.1-2+b1_i386.deb
texlab_5.25.1-2.debian.tar.xz
texlab_5.25.1-2.dsc
texlab_5.25.1-2_arm64.deb
texlab_5.25.1.orig.tar.gz