cryptol2: build with ghc 7.6.3 to avoid errors with 7.8.x
darcs: build with ghc 7.6.3 to avoid errors with 7.8.x