../ dvisvgm_2.7.3-2.debian.tar.xz 17-Sep-2019 10:25 5520 dvisvgm_2.7.3-2.dsc 17-Sep-2019 10:25 2128 dvisvgm_2.7.3-2_armhf.deb 22-Sep-2019 10:08 847800 dvisvgm_2.7.3.orig.tar.gz 26-Jul-2019 13:17 2956562