../ dvi2ps_5.1j-1ubuntu1_amd64.deb 28-Feb-2014 18:23 187420 dvi2ps_5.1j-1ubuntu1_i386.deb 28-Feb-2014 18:23 181572