../ dvisvgm_2.8-1.debian.tar.xz 05-Nov-2019 15:21 5692 dvisvgm_2.8-1.dsc 05-Nov-2019 15:21 1637 dvisvgm_2.8-1_armhf.deb 11-Nov-2019 10:08 951260 dvisvgm_2.8.orig.tar.gz 05-Nov-2019 15:21 3052179