../ 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 24-Mar-2009 18:47 2051993 libdevil-dev_1.7.8-10+b2_arm64.deb 07-Mar-2017 00:29 244300 libdevil-dev_1.7.8-10+b3_arm64.deb 12-Jan-2023 16:13 263680 libdevil1c2_1.7.8-10+b2_arm64.deb 07-Mar-2017 00:29 188552 libdevil1c2_1.7.8-10+b3_arm64.deb 12-Jan-2023 16:13 208132