Merge pull request #6022 from michalkonecny/master
commitb7cf79b3e0e6e51d6e68580f2be5bc4aa0eabc25
authorAlexey Zabelin <hello@alexeyzabelin.com>
dateWed 19 May 2021, 20:52 (5 years ago)
parente22b03df7b04c6
build-constraints.yaml+2−2
@@ -3331,8 +3331,8 @@ packages:
33313331 - collect-errors
33323332 - mixed-types-num
33333333 - cdar-mBound
3334− # - aern2-mp
3335− # - aern2-real
3334+ - aern2-mp
3335+ # - aern2-real
33363336
33373337 "Bartosz Nitka <niteria@gmail.com> @niteria":
33383338 - oeis < 0 # via test-framework