../ dvi2ps-dbgsym_5.1j-1.5_riscv64.deb 25-May-2024 17:12 255840 dvi2ps_5.1j-1.5.debian.tar.xz 08-May-2024 14:26 22068 dvi2ps_5.1j-1.5.dsc 08-May-2024 14:26 1576 dvi2ps_5.1j-1.5_riscv64.deb 25-May-2024 17:12 201172 dvi2ps_5.1j.orig.tar.gz 08-May-2024 14:26 551541