../ devil_1.7.8-10build2.debian.tar.xz 22-Mar-2020 16:50 8464 devil_1.7.8-10build2.dsc 22-Mar-2020 16:50 1976 devil_1.7.8.orig.tar.gz 28-Apr-2009 23:05 2051993 libdevil-dev_1.7.8-10build2_amd64.deb 22-Mar-2020 17:00 255732 libdevil1c2_1.7.8-10build2_amd64.deb 22-Mar-2020 17:00 210180