../ dvisvgm-dbgsym_3.4.2+ds-1_ppc64.deb 18-Nov-2024 18:03 14M dvisvgm_3.4.2+ds-1_ppc64.buildinfo 18-Nov-2024 18:03 8955 dvisvgm_3.4.2+ds-1_ppc64.deb 18-Nov-2024 18:03 1M