../ dvi2ps_5.1j-3.debian.tar.xz 07-Sep-2025 20:48 25K dvi2ps_5.1j-3.dsc 07-Sep-2025 20:48 2138 dvi2ps_5.1j-3_amd64.deb 07-Sep-2025 21:03 202K dvi2ps_5.1j-3_arm64.deb 07-Sep-2025 21:03 189K dvi2ps_5.1j-3_armhf.deb 07-Sep-2025 21:08 182K dvi2ps_5.1j-3_i386.deb 07-Sep-2025 21:03 198K dvi2ps_5.1j.orig.tar.gz 30-Apr-2012 20:17 539K