../ dvisvgm_2.13.1-1.debian.tar.xz 30-Apr-2022 17:56 8568 dvisvgm_2.13.1-1.dsc 30-Apr-2022 17:56 2336 dvisvgm_2.13.1-1_amd64.deb 30-Apr-2022 04:53 1220748 dvisvgm_2.13.1.orig.tar.gz 30-Apr-2022 17:56 2703085 dvisvgm_2.8.1-1build1.debian.tar.xz 21-Jun-2020 19:42 5784 dvisvgm_2.8.1-1build1.dsc 21-Jun-2020 19:42 2045 dvisvgm_2.8.1-1build1_amd64.deb 22-Jun-2020 11:57 1048052 dvisvgm_2.8.1.orig.tar.gz 21-Jun-2020 19:42 3055704