../ figtoipe_7.2.7.2-4ubuntu2_amd64.deb 28-Mar-2020 12:38 28880 ipe-tools_7.2.7.2-4ubuntu2.debian.tar.xz 28-Mar-2020 12:33 11972 ipe-tools_7.2.7.2-4ubuntu2.dsc 28-Mar-2020 12:33 1707 ipe-tools_7.2.7.2.orig.tar.gz 27-Nov-2018 15:48 217275 ipe5toxml_7.2.7.2-4ubuntu2_amd64.deb 28-Mar-2020 12:38 13972 pdftoipe_7.2.7.2-4ubuntu2_amd64.deb 28-Mar-2020 12:38 21708 svgtoipe_7.2.7.2-4ubuntu2_all.deb 28-Mar-2020 12:38 14268