../ figtoipe_7.2.24.1-3.1+b3_riscv64.deb 15-May-2024 10:39 30K ipe-tools_7.2.24.1-3.1.debian.tar.xz 15-May-2024 11:00 6020 ipe-tools_7.2.24.1-3.1.dsc 15-May-2024 11:00 2297 ipe-tools_7.2.24.1.orig.tar.gz 15-May-2024 11:00 234K ipe5toxml_7.2.24.1-3.1+b3_riscv64.deb 15-May-2024 10:39 13K pdftoipe_7.2.24.1-3.1+b3_riscv64.deb 15-May-2024 10:39 21K svgtoipe_7.2.24.1-3.1_all.deb 10-Apr-2023 11:30 14K