../ dvisvgm_2.11.1-1.debian.tar.xz 26-Jan-2021 22:57 8268 dvisvgm_2.11.1-1.dsc 26-Jan-2021 22:57 2147 dvisvgm_2.11.1-1_armhf.deb 01-Feb-2021 22:08 920088 dvisvgm_2.11.1.orig.tar.gz 26-Jan-2021 22:57 2644020 dvisvgm_2.13.1-1.debian.tar.xz 29-Jan-2022 14:14 8568 dvisvgm_2.13.1-1.dsc 29-Jan-2022 14:14 2336 dvisvgm_2.13.1-1_armhf.deb 01-Feb-2022 10:08 905792 dvisvgm_2.13.1.orig.tar.gz 29-Jan-2022 14:14 2703085