Index of /pool/main/d/devil

	Name	Last modified	Size
	Parent Directory		-
	devil_1.7.8-10.debian.tar.xz	2015-07-08 06:35	8.1K
	devil_1.7.8-10.dsc	2015-07-08 06:35	1.9K
	devil_1.7.8.orig.tar.gz	2012-04-19 02:05	2.0M
	libdevil-dev_1.7.8-10+b1_armhf.deb	2019-09-26 02:37	231K
	libdevil-dev_1.7.8-10+b2_armhf.deb	2023-01-14 23:08	226K
	libdevil-dev_1.7.8-10_armhf.deb	2015-07-13 12:08	231K
	libdevil1c2_1.7.8-10+b1_armhf.deb	2019-09-26 02:37	191K
	libdevil1c2_1.7.8-10+b2_armhf.deb	2023-01-14 23:08	187K
	libdevil1c2_1.7.8-10_armhf.deb	2015-07-13 12:08	192K