../ dvi2ps_5.1j-1.2.debian.tar.xz 10-Mar-2016 12:56 20K dvi2ps_5.1j-1.2.dsc 10-Mar-2016 12:56 1718 dvi2ps_5.1j-1.2_amd64.deb 10-Mar-2016 13:23 183K dvi2ps_5.1j-1.2_i386.deb 10-Mar-2016 13:22 185K dvi2ps_5.1j.orig.tar.gz 10-Mar-2016 12:56 539K