Index of /debian/pool/main/d/develock-el

	Name	Last modified	Size
	Parent Directory		-
	develock-el_0.47.orig.tar.gz	2016-11-01 20:11	14K
	develock-el_0.47-3.1_all.deb	2021-01-03 19:29	19K
	develock-el_0.47-3.1.dsc	2021-01-03 18:48	1.8K
	develock-el_0.47-3.1.debian.tar.xz	2021-01-03 18:48	7.7K