summaryrefslogtreecommitdiff
path: root/p/agda/debian/patches/bump-ieee754-bounds.patch
blob: ebe0621fef333d1856e13363e4b543cc5f426493 (plain)
1
2
3
4
5
6
7
8
9
10
11
--- agda-2.5.2.orig/Agda.cabal
+++ agda-2.5.2/Agda.cabal
@@ -160,7 +160,7 @@ library
                 -- some cases.
                 , hashtables >= 1.0.1.8 && < 1.2 || >= 1.2.0.2 && < 1.3
                 , haskeline >= 0.7.1.3 && < 0.8
-                , ieee754 >= 0.7.8 && < 0.8
+                , ieee754 >= 0.7.8 && < 0.9
                 , monadplus >= 1.4 && < 1.5
                 -- mtl-2.1 contains a severe bug.
                 --