Merge pull request #3815 from andrevdm/patch-2

add hyraxAbif
This commit is contained in:
Joe Kachmar 2018-07-11 15:20:24 +00:00 committed by GitHub
commit fea948c796
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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