hpcugent/easybuild-easyconfigs — pull request #615 by fgeorgatos (2013-12-14 13:37:45+00:00)
Title: Adjust gnu.org tools

this requires https://github.com/hpcugent/easybuild-framework/pull/790/files to get in;
N.B. please do not add this PR in v1.10, more testing is REQUIRED, to be sure downloads work as expected.