hpcugent/easybuild-easyconfigs — pull request #527 by boegel (2013-11-13 10:02:31+00:00)
Title: add GIMPS easyconfigs

this builds on top of PR #166 by @fgeorgatos, only fixes minor style issues