../ devil_1.7.8-10.debian.tar.xz 08-Jul-2015 11:18 8324 devil_1.7.8-10.dsc 08-Jul-2015 11:18 1913 devil_1.7.8.orig.tar.gz 28-Apr-2009 23:05 2051993 libdevil-dev_1.7.8-10_amd64.deb 08-Jul-2015 11:18 252674 libdevil1c2_1.7.8-10_amd64.deb 08-Jul-2015 11:18 213922