Merge e1bc8a8a3e9861706471da5749b8b3ea0f83e5ac into 9e9d83ee1c989dd900a7ab2902ab892e2468d5d6
commit52e78b858042006dcc12a5eb39aa8610c5912036
authorGitHub Merge Button <merge-button@github.com>
dateFri 15 Jul 2011, 10:31 (15 years ago)
parent9e9d83ee1bc8a8
text.cabal+1−1
@@ -131,7 +131,7 @@ library
131131
132132 if impl(ghc >= 6.11)
133133 cpp-options: -DINTEGER_GMP
134− build-depends: integer-gmp >= 0.2 && < 0.3
134+ build-depends: integer-gmp >= 0.2 && < 0.4
135135
136136 if impl(ghc >= 6.9) && impl(ghc < 6.11)
137137 cpp-options: -DINTEGER_GMP