on master help sign in
Merge branch 'master' into nightly
0de8be9Michael Snoyman
build-constraints.yaml+4−2
@@ -2033,8 +2033,7 @@ packages:
2033 - ipython-kernel # GHC 8
2033 - ipython-kernel # GHC 8
2034
2034
2035 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2035 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2036− []
2037− # - Agda # GHC 8.2.1
2036+ - Agda
2038
2037
2039 "James Cook <mokus@deepbondi.net> @mokus0":
2038 "James Cook <mokus@deepbondi.net> @mokus0":
2040 - dependent-sum
2039 - dependent-sum
@@ -3379,6 +3378,9 @@ packages:
3379 # https://github.com/fpco/stackage/issues/2832
3378 # https://github.com/fpco/stackage/issues/2832
3380 - io-streams < 1.5
3379 - io-streams < 1.5
3381
3380
3381+ # https://github.com/fpco/stackage/issues/2860
3382+ - language-c < 0.7
3383+
3382# end of packages
3384# end of packages
3383
3385
3384# Package flags are applied to individual packages, and override the values of
3386# Package flags are applied to individual packages, and override the values of