kili 825553537f For the new ghc, we need a newer bootstrapper.
Strange enough, at least our current ghc (7.6.3) doesn't
build with integer-simple, so use integer-gmp instead.
2014-10-19 19:08:48 +00:00
..
2013-08-16 13:40:49 +00:00