../ devil_1.7.8-10.debian.tar.xz 08-Jul-2015 12:35 8324 devil_1.7.8-10.dsc 08-Jul-2015 12:35 1913 devil_1.7.8.orig.tar.gz 25-Mar-2009 02:47 2M libdevil-dev_1.7.8-10+b1_mipsel.deb 07-Apr-2016 18:14 275K libdevil1c2_1.7.8-10+b1_mipsel.deb 07-Apr-2016 18:14 199K