Index of /kr.archive.ubuntu.com/ubuntu/pool/universe/i/ipe-tools/

../
figtoipe_7.2.20-1ubuntu1_amd64.deb                 04-Feb-2022 18:44               29416
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