../ devil_1.7.8-10.debian.tar.xz 08-May-2024 13:30 8324 devil_1.7.8-10.dsc 08-May-2024 13:30 1913 devil_1.7.8-10_riscv64.buildinfo 03-Jul-2026 08:00 9518 devil_1.7.8.orig.tar.gz 08-May-2024 13:30 2051993 libdevil-dev_1.7.8-10_riscv64.deb 03-Jul-2026 08:00 546620 libdevil1c2-dbgsym_1.7.8-10_riscv64.deb 03-Jul-2026 08:00 604860 libdevil1c2_1.7.8-10_riscv64.deb 03-Jul-2026 08:00 209168