Links for devil

devil-0.7.tar.gz
devil-0.8.tar.gz
devil-0.9.tar.gz