Directory listing for /nl.archive.ubuntu.com/ubuntu/pool/universe/i/ipe-tools/

• figtoipe_7.2.29.2-0ubuntu1_amd64.deb
• ipe5toxml_7.2.29.2-0ubuntu1_amd64.deb
• pdftoipe_7.2.29.2-0ubuntu1_amd64.deb
• svgtoipe_7.2.29.2-0ubuntu1_all.deb