../ dvi2ps_5.1j-1.3.debian.tar.xz 27-Mar-2020 22:03 21K dvi2ps_5.1j-1.3.dsc 27-Mar-2020 22:03 1754 dvi2ps_5.1j-1.3_amd64.deb 27-Mar-2020 22:03 192K dvi2ps_5.1j-1.3_arm64.deb 27-Mar-2020 22:03 183K dvi2ps_5.1j-1.3_i386.deb 27-Mar-2020 22:03 195K dvi2ps_5.1j-1.3_mips64el.deb 27-Mar-2020 22:03 188K dvi2ps_5.1j.orig.tar.gz 27-Mar-2020 22:03 539K