Merge pull request #3918 from ch1bo/patch-4
Re-enable hdevtools
commit05445c7c2ddc6af06fa70b4f3b1ec7f8d2cc675e
authorDan Burton <danburton.email@gmail.com>
dateTue 28 Aug 2018, 13:53 (8 years ago)
parentd544186b542f6d
build-constraints.yaml+1−1
@@ -3378,7 +3378,7 @@ packages:
33783378 - quickcheck-state-machine < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build
33793379
33803380 "Sebastian Nagel <sebastian.nagel@ncoding.at> @ch1bo":
3381− - hdevtools < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build
3381+ - hdevtools
33823382 - servant-exceptions
33833383
33843384 "Vaibhav Sagar <vaibhavsagar@gmail.com> @vaibhavsagar":