../ dvi2ps_5.1j-1.3.debian.tar.xz 11-Apr-2022 10:37 21K dvi2ps_5.1j-1.3.dsc 11-Apr-2022 10:37 1754 dvi2ps_5.1j-1.3_amd64.deb 11-Apr-2022 10:05 192K dvi2ps_5.1j-1.3_i386.deb 11-Apr-2022 10:44 195K dvi2ps_5.1j.orig.tar.gz 11-Apr-2022 10:37 539K