Index of /deb.debian.org/debian/pool/main/i/ipe-tools

	Name	Last modified	Size	Description
	Parent Directory		-
	ipe5toxml_7.2.29.1-1..>	2025-03-07 10:22	14K
	svgtoipe_7.2.29.1-1_..>	2024-11-22 16:46	14K
	pdftoipe_7.2.29.1-1+..>	2025-03-07 10:22	23K
	figtoipe_7.2.29.1-1+..>	2025-03-07 10:22	30K