Merge pull request #3825 from andrevdm/patch-2
updated bhoogle bounds (in 0.1.3.1)
commit1762c8ea6feb848cf4195aa9bc55cfa2387d529f
authorJoe Kachmar <joseph.kachmar@gmail.com>
dateWed 11 Jul 2018, 23:19 (8 years ago)
parentb133f8c36f1ea7
build-constraints.yaml+1−1
@@ -3394,7 +3394,7 @@ packages:
33943394 - streaming-wai
33953395
33963396 "Andre Van Der Merwe <stackage@andrevdm.com> @andrevdm":
3397− - bhoogle < 0 # GHC 8.4 via protolude
3397+ - bhoogle
33983398 - hyraxAbif
33993399
34003400 "David Millar-Durrant <dmillardurrant@gmail.com> @DavidM-D":