Index of /deb.debian.org/debian/pool/main/d/devil

	Name	Last modified	Size	Description
	Parent Directory		-
	libdevil1c2_1.7.8-12..>	2024-10-22 17:16	222K
	libdevil1c2_1.7.8-10..>	2023-01-12 17:13	220K
	libdevil-dev_1.7.8-1..>	2024-10-22 17:16	266K