Summary of changes: 10e7a7b... rebuild with new gmp (*) e77ca8a... rebuild with new gmp without compat lib (*) dda4336... bring back requires for ghc-compiler (*) (*) This commit already existed in another branch; no separate mail sent