../ devil_1.7.8-10.debian.tar.xz 08-Jul-2015 04:35 8324 devil_1.7.8-10.dsc 08-Jul-2015 04:35 1913 devil_1.7.8.orig.tar.gz 19-Apr-2012 00:05 2051993 libdevil-dev_1.7.8-10+b1_armhf.deb 26-Sep-2019 00:37 236596 libdevil-dev_1.7.8-10_armhf.deb 13-Jul-2015 10:08 236324 libdevil1c2_1.7.8-10+b1_armhf.deb 26-Sep-2019 00:37 195984 libdevil1c2_1.7.8-10_armhf.deb 13-Jul-2015 10:08 196242