../ devil_1.7.8-10.debian.tar.xz 07-Jul-2015 22:35 8324 devil_1.7.8-10.dsc 07-Jul-2015 22:35 1913 devil_1.7.8.orig.tar.gz 24-Mar-2009 12:47 2051993 libdevil-dev_1.7.8-10+b3_amd64.deb 12-Jan-2023 10:13 271204 libdevil-dev_1.7.8-10+b3_i386.deb 12-Jan-2023 10:08 300412 libdevil1c2_1.7.8-10+b3_amd64.deb 12-Jan-2023 10:13 225572 libdevil1c2_1.7.8-10+b3_i386.deb 12-Jan-2023 10:08 239572