../ dvi2ps-dbgsym_5.1j-1.5_x32.deb 04-Oct-2022 02:03 250220 dvi2ps_5.1j-1.5_x32.buildinfo 04-Oct-2022 02:03 6264 dvi2ps_5.1j-1.5_x32.deb 04-Oct-2022 02:03 192808