../ dvisvgm_2.8.1-1.debian.tar.xz 26-Nov-2019 05:33 5696 dvisvgm_2.8.1-1.dsc 26-Nov-2019 05:33 1651 dvisvgm_2.8.1-1_amd64.deb 26-Nov-2019 06:13 1107228 dvisvgm_2.8.1-1_i386.deb 26-Nov-2019 06:13 1184800 dvisvgm_2.8.1.orig.tar.gz 26-Nov-2019 05:33 3055704