From 9f4077a87bb0491d7b1dafc76915c577d9a64372 Mon Sep 17 00:00:00 2001 From: mikkonecny Date: Wed, 13 Jul 2022 22:36:45 +0100 Subject: [PATCH] re-enable aern2-mp and aern2-real closes #6648 --- build-constraints.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 545711b7..c5ddfb5b 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3408,8 +3408,8 @@ packages: - collect-errors - mixed-types-num - cdar-mBound - - aern2-mp < 0 # https://github.com/commercialhaskell/stackage/issues/6648 - - aern2-real < 0 # https://github.com/commercialhaskell/stackage/issues/6648 + - aern2-mp + - aern2-real "Bartosz Nitka @niteria": - oeis