../ 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 2M libdevil-dev_1.7.8-10_mips64el.deb 10-Sep-2020 02:51 284K libdevil1c2-dbgsym_1.7.8-10_mips64el.deb 10-Sep-2020 02:51 651K libdevil1c2_1.7.8-10_mips64el.deb 10-Sep-2020 02:51 201K