Index of /pub/gwdg/ubuntu/22.04/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