../ devil_1.7.8-9.debian.tar.xz 20-Aug-2014 22:01 8016 devil_1.7.8-9.dsc 20-Aug-2014 22:01 1907 devil_1.7.8.orig.tar.gz 19-Apr-2012 00:05 2051993 libdevil-dev_1.7.8-9_armhf.deb 26-Aug-2014 11:11 234498 libdevil1c2_1.7.8-9_armhf.deb 26-Aug-2014 11:11 193614