../ 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_armhf.deb 01-Dec-2019 10:08 953312 dvisvgm_2.8.1.orig.tar.gz 26-Nov-2019 05:33 3055704