Index of /pool/main/i/ipe-tools

	Name	Last modified	Size	Description
	Parent Directory		-
	figtoipe_7.2.7.2-1+b1_amd64.deb	2019-08-27 12:11	29K
	figtoipe_7.2.20-1+b3_amd64.deb	2023-02-25 17:39	30K
	figtoipe_7.2.24.1-3.1_amd64.deb	2023-03-12 08:08	29K
	ipe-tools_7.2.7.2-1.debian.tar.xz	2019-08-27 12:11	4.1K
	ipe-tools_7.2.7.2-1.dsc	2019-08-27 12:11	2.1K
	ipe-tools_7.2.7.2.orig.tar.gz	2019-08-27 12:11	212K
	ipe-tools_7.2.20-1.debian.tar.xz	2023-02-25 17:39	4.6K
	ipe-tools_7.2.20-1.dsc	2023-02-25 17:39	2.2K
	ipe-tools_7.2.20.orig.tar.gz	2023-02-25 17:39	233K
	ipe-tools_7.2.24.1-3.1.debian.tar.xz	2023-03-12 08:08	5.9K
	ipe-tools_7.2.24.1-3.1.dsc	2023-03-12 08:08	2.2K
	ipe-tools_7.2.24.1.orig.tar.gz	2023-03-12 08:08	234K
	ipe5toxml_7.2.7.2-1+b1_amd64.deb	2019-08-27 12:11	14K
	ipe5toxml_7.2.20-1+b3_amd64.deb	2023-02-25 17:39	15K
	ipe5toxml_7.2.24.1-3.1_amd64.deb	2023-03-12 08:08	13K
	pdftoipe_7.2.7.2-1+b1_amd64.deb	2019-08-27 12:11	22K
	pdftoipe_7.2.20-1+b3_amd64.deb	2023-02-25 17:39	23K
	pdftoipe_7.2.24.1-3.1_amd64.deb	2023-03-12 08:08	21K
	svgtoipe_7.2.7.2-1_all.deb	2019-08-27 12:11	13K
	svgtoipe_7.2.20-1_all.deb	2023-02-25 17:39	15K
	svgtoipe_7.2.24.1-3.1_all.deb	2023-03-12 08:08	14K