../ ipe5toxml_20051114-1.debian.tar.gz 03-Oct-2017 12:34 1423 ipe5toxml_20051114-1.dsc 03-Oct-2017 12:34 1332 ipe5toxml_20051114-1_amd64.deb 24-Aug-2017 09:33 12346 ipe5toxml_20051114-1_i386.deb 24-Aug-2017 09:48 11186 ipe5toxml_20051114.orig.tar.gz 03-Oct-2017 12:34 8627