Links for redef

redef-1.5.tar.gz
redef-1.6.tar.gz
redef-1.7.tar.gz