ghc >= 7.0.3
glibc-solibs >= 2.13
gmp >= 5.0.1
