../ devil_1.7.8-10.debian.tar.xz 11-Apr-2020 05:58 8324 devil_1.7.8-10.dsc 11-Apr-2020 05:58 1913 devil_1.7.8.orig.tar.gz 11-Apr-2020 05:58 2051993 libdevil-dev_1.7.8-10+b2_amd64.deb 11-Apr-2020 05:58 267820 libdevil-dev_1.7.8-10+b2_i386.deb 11-Apr-2020 05:58 293870 libdevil1c2_1.7.8-10+b2_amd64.deb 11-Apr-2020 05:58 228370 libdevil1c2_1.7.8-10+b2_i386.deb 11-Apr-2020 05:58 242908