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