../ figtoipe_7.2.20-1ubuntu1_amd64.deb 04-Feb-2022 18:44 29416 ipe-tools_7.2.20-1ubuntu1.debian.tar.xz 04-Feb-2022 18:44 6664 ipe-tools_7.2.20-1ubuntu1.dsc 04-Feb-2022 18:44 2351 ipe-tools_7.2.20.orig.tar.gz 10-Sep-2020 13:24 238793 ipe5toxml_7.2.20-1ubuntu1_amd64.deb 04-Feb-2022 18:44 14074 pdftoipe_7.2.20-1ubuntu1_amd64.deb 04-Feb-2022 18:44 21604 svgtoipe_7.2.20-1ubuntu1_all.deb 04-Feb-2022 18:44 14388