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