../ dvisvgm_2.13.1-1.debian.tar.xz 29-Jan-2022 23:24 8568 dvisvgm_2.13.1-1.dsc 29-Jan-2022 23:24 2336 dvisvgm_2.13.1-1_amd64.deb 29-Jan-2022 23:44 1220748 dvisvgm_2.13.1.orig.tar.gz 29-Jan-2022 23:24 2703085 dvisvgm_2.8.1-1build1.debian.tar.xz 22-Mar-2020 16:50 5784 dvisvgm_2.8.1-1build1.dsc 22-Mar-2020 16:50 2045 dvisvgm_2.8.1-1build1_amd64.deb 22-Mar-2020 17:11 1048052 dvisvgm_2.8.1.orig.tar.gz 26-Nov-2019 11:13 3055704