../ devil_1.7.8-12.debian.tar.xz 22-Oct-2024 14:41 9060 devil_1.7.8-12.dsc 22-Oct-2024 14:41 2038 devil_1.7.8.orig.tar.gz 24-Mar-2009 18:47 2051993 libdevil-dev_1.7.8-12_amd64.deb 22-Oct-2024 15:16 272844 libdevil1c2_1.7.8-12_amd64.deb 22-Oct-2024 15:16 227368