Index of /debian/pool/main/i/ipe

	Name	Last modified	Size	Description
	Parent Directory		-
	libipe-dev_7.2.23+dfsg1-2_arm64.deb	2023-11-20 10:34	38K
	libipe7.2.23_7.2.23+dfsg1-2_arm64.deb	2023-11-20 10:34	309K