Index of /pool/main/d/devilspie

	Name	Last modified	Size	Description
	Parent Directory		-
	devilspie_0.23-2build1_amd64.deb	2018-04-17 18:50	44K
	devilspie_0.23-2_amd64.deb	2017-09-19 18:44	43K
	devilspie_0.22-2_amd64.deb	2017-09-22 21:50	31K