Merge pull request #5997 from michalkonecny/master
add collect-errors, comment-out aern2-* packages
commitf4bd547e96064e02aea4f50392702a012308690e
authorMichael Snoyman <michael@snoyman.com>
dateSun 2 May 2021, 09:01 (5 years ago)
parentde0b1fa17e029c
build-constraints.yaml+3−2
@@ -3319,9 +3319,10 @@ packages:
33193319
33203320 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
33213321 - hmpfr
3322+ - collect-errors
33223323 - mixed-types-num
3323− - aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
3324− - aern2-real < 0
3324+ # - aern2-mp
3325+ # - aern2-real
33253326
33263327 "Bartosz Nitka <niteria@gmail.com> @niteria":
33273328 - oeis < 0 # via test-framework