added hyraxAbif

This commit is contained in:
Andre Van Der Merwe 2018-07-11 14:59:24 +02:00 committed by GitHub
parent 21e9a76cad
commit 5f64afb6da
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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