../ devil_1.7.8-12.debian.tar.xz 11-Jun-2026 16:34 9060 devil_1.7.8-12.dsc 11-Jun-2026 16:34 2038 devil_1.7.8.orig.tar.gz 11-Jun-2026 16:34 2051993 libdevil-dev_1.7.8-12_amd64.deb 11-Jun-2026 16:34 272844 libdevil-dev_1.7.8-12_riscv64.deb 11-Jun-2026 16:34 624436 libdevil1c2_1.7.8-12_amd64.deb 11-Jun-2026 16:34 227368 libdevil1c2_1.7.8-12_riscv64.deb 11-Jun-2026 16:34 240024