../ figtoipe_7.2.7.2-1+b1_amd64.deb 09-Jan-2019 15:43 29720 ipe-tools_7.2.7.2-1.debian.tar.xz 27-Nov-2018 15:45 4216 ipe-tools_7.2.7.2-1.dsc 27-Nov-2018 15:45 2166 ipe-tools_7.2.7.2.orig.tar.gz 27-Nov-2018 15:45 217275 ipe5toxml_7.2.7.2-1+b1_amd64.deb 09-Jan-2019 15:43 14596 pdftoipe_7.2.7.2-1+b1_amd64.deb 09-Jan-2019 15:43 22060 svgtoipe_7.2.7.2-1_all.deb 27-Nov-2018 17:13 13700