../ devilspie2_0.20-1.debian.tar.gz 23-Jun-2012 21:03 2133 devilspie2_0.20-1.dsc 23-Jun-2012 21:03 1937 devilspie2_0.20-1_armhf.deb 04-Jul-2012 13:54 19118 devilspie2_0.20.orig.tar.gz 23-Jun-2012 21:03 28911