../ dvi2ps_5.1j-1.5.debian.tar.xz 14-Aug-2026 18:59 22K dvi2ps_5.1j-1.5.dsc 14-Aug-2026 18:59 1576 dvi2ps_5.1j-1.5_amd64.deb 14-Aug-2026 18:59 193K dvi2ps_5.1j-1.5_i386.deb 14-Aug-2026 18:59 197K dvi2ps_5.1j.orig.tar.gz 14-Aug-2026 18:59 539K