../ dvi2ps_5.1j-1.2.debian.tar.xz 14-Oct-2014 21:54 20324 dvi2ps_5.1j-1.2.dsc 14-Oct-2014 21:54 1718 dvi2ps_5.1j-1.2_armhf.deb 25-Oct-2014 11:10 174128 dvi2ps_5.1j-1.3.debian.tar.xz 17-Feb-2019 13:54 21872 dvi2ps_5.1j-1.3.dsc 17-Feb-2019 13:54 1754 dvi2ps_5.1j-1.3_armhf.deb 05-Mar-2019 10:08 173608 dvi2ps_5.1j.orig.tar.gz 30-Apr-2012 12:17 551541