../ dvi2ps_5.1j-1.2.debian.tar.xz 16-Feb-2017 12:30 20K dvi2ps_5.1j-1.2.dsc 16-Feb-2017 12:30 1718 dvi2ps_5.1j-1.2_amd64.deb 27-Sep-2017 14:27 183K dvi2ps_5.1j-1.2_i386.deb 27-Sep-2017 12:16 185K dvi2ps_5.1j.orig.tar.gz 16-Feb-2017 12:30 539K