../ devil_1.7.8-10build2.debian.tar.xz 18-Dec-2023 16:21 8464 devil_1.7.8-10build2.dsc 18-Dec-2023 16:21 1976 devil_1.7.8.orig.tar.gz 18-Dec-2023 16:21 2051993 libdevil-dev_1.7.8-10build2_amd64.deb 24-Nov-2024 13:21 255732 libdevil1c2_1.7.8-10build2_amd64.deb 24-Nov-2024 13:21 210180