../ figtoipe_7.2.7.2-1+b1_armhf.deb 10-Jan-2019 19:26 25476 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_armhf.deb 10-Jan-2019 19:26 12920 pdftoipe_7.2.7.2-1+b1_armhf.deb 10-Jan-2019 19:26 19696 svgtoipe_7.2.7.2-1_all.deb 27-Nov-2018 17:13 13700