Commits

GitHub Merge Button  committed 64504ae Merge
  • Participants
  • Parent commits e996bc7, 4e7cc55

Comments (0)

Files changed (1)

 
   if impl(ghc >= 6.11)
     cpp-options: -DINTEGER_GMP
-    build-depends: integer-gmp >= 0.2 && < 0.3
+    build-depends: integer-gmp >= 0.2 && < 0.4
 
   if impl(ghc >= 6.9) && impl(ghc < 6.11)
     cpp-options: -DINTEGER_GMP