Merge pull request #3918 from ch1bo/patch-4

Re-enable hdevtools
This commit is contained in:
Dan Burton 2018-08-28 13:53:58 -07:00 committed by GitHub
commit 05445c7c2d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3378,7 +3378,7 @@ packages:
- quickcheck-state-machine < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build
"Sebastian Nagel <sebastian.nagel@ncoding.at> @ch1bo":
- hdevtools < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build
- hdevtools
- servant-exceptions
"Vaibhav Sagar <vaibhavsagar@gmail.com> @vaibhavsagar":