Merge pull request #3825 from andrevdm/patch-2

updated bhoogle bounds (in 0.1.3.1)
This commit is contained in:
Joe Kachmar 2018-07-11 23:19:48 +00:00 committed by GitHub
commit 1762c8ea6f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3394,7 +3394,7 @@ packages:
- streaming-wai
"Andre Van Der Merwe <stackage@andrevdm.com> @andrevdm":
- bhoogle < 0 # GHC 8.4 via protolude
- bhoogle
- hyraxAbif
"David Millar-Durrant <dmillardurrant@gmail.com> @DavidM-D":