redef-1.0.tar.gz redef-1.1.tar.gz redef-1.2.tar.gz redef-1.3.macosx-10.8-intel.exe redef-1.3.tar.gz redef-1.4.macosx-10.8-intel.exe redef-1.4.tar.gz redef-1.5.tar.gz redef-1.6.tar.gz redef-1.7.tar.gz