Index of /dev/pool/main/d/dvisvgm/

../
dvisvgm_3.0.3-1.debian.tar.xz                      25-Feb-2023 23:01                9892
dvisvgm_3.0.3-1.dsc                                25-Feb-2023 23:01                2298
dvisvgm_3.0.3-1_amd64.deb                          25-Feb-2023 23:38             1035440
dvisvgm_3.0.3.orig.tar.gz                          25-Feb-2023 23:01             2477218