../ dvisvgm_2.8.2-1.debian.tar.xz 06-Mar-2020 21:47 5756 dvisvgm_2.8.2-1.dsc 06-Mar-2020 21:47 2126 dvisvgm_2.8.2-1_armhf.deb 12-Mar-2020 10:08 941964 dvisvgm_2.8.2.orig.tar.gz 06-Mar-2020 21:47 3072213 dvisvgm_2.9-1.debian.tar.xz 16-Mar-2020 11:20 5768 dvisvgm_2.9-1.dsc 16-Mar-2020 11:20 2112 dvisvgm_2.9.orig.tar.gz 16-Mar-2020 11:20 3084756