Re-enable hdevtools
commitb542f6d7b8f1c508f6182a41752187fa5b70dc37
authorSebastian Nagel <sebastian.nagel@franka.de>
dateTue 21 Aug 2018, 15:49 (8 years ago)
parentabb5fef
build-constraints.yaml+1−1
@@ -3379,7 +3379,7 @@ packages:
33793379 - quickcheck-state-machine < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build
33803380
33813381 "Sebastian Nagel <sebastian.nagel@ncoding.at> @ch1bo":
3382− - hdevtools < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build
3382+ - hdevtools
33833383 - servant-exceptions
33843384
33853385 "Vaibhav Sagar <vaibhavsagar@gmail.com> @vaibhavsagar":