on master help sign in
Merge pull request #4271 from gwils/tasty-hedgehog
7d575c4Jens Petersen
build-constraints.yaml+1−1
@@ -2799,6 +2799,7 @@ packages:
2799 - sv
2799 - sv
2800 - sv-cassava
2800 - sv-cassava
2801 - sv-core
2801 - sv-core
2802+ - tasty-hedgehog
2802
2803
2803 "Ismail Mustafa <ismailmustafa@rocketmail.com> @ismailmustafa":
2804 "Ismail Mustafa <ismailmustafa@rocketmail.com> @ismailmustafa":
2804 - handwriting < 0
2805 - handwriting < 0
@@ -3819,7 +3820,6 @@ packages:
3819 - data-clist
3820 - data-clist
3820 - brick
3821 - brick
3821 - hedgehog-fn
3822 - hedgehog-fn
3822− - tasty-hedgehog
3823
3823
3824 # Packages in the build plan that are blocked from inclusion due to
3824 # Packages in the build plan that are blocked from inclusion due to
3825 # compilation failure with ghc 8.6
3825 # compilation failure with ghc 8.6