Re-enable hdevtools

This commit is contained in:
Sebastian Nagel 2018-08-21 15:49:31 +02:00 committed by GitHub
parent abb5fef364
commit b542f6d7b8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3379,7 +3379,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":