Index of /debian/pool/main/d/devil

	Name	Last modified	Size	Description
	Parent Directory		-
	libdevil1c2_1.7.8-10+b3_amd64.deb	2023-01-12 13:13	220K
	libdevil-dev_1.7.8-10+b3_amd64.deb	2023-01-12 13:13	265K