Index of /debian-ports/pool-x32/main/i/ipe-tools/

../
figtoipe-dbgsym_7.2.24.1-2_x32.deb                 17-Oct-2022 12:03              183444
figtoipe_7.2.24.1-2_x32.deb                        17-Oct-2022 12:03               29188
ipe-tools_7.2.24.1-2_x32.buildinfo                 17-Oct-2022 12:03                8239
ipe5toxml-dbgsym_7.2.24.1-2_x32.deb                17-Oct-2022 12:03               25552
ipe5toxml_7.2.24.1-2_x32.deb                       17-Oct-2022 12:03               13300
pdftoipe-dbgsym_7.2.24.1-2_x32.deb                 17-Oct-2022 12:03              291112
pdftoipe_7.2.24.1-2_x32.deb                        17-Oct-2022 12:03               21568