From f192166a42872cae66019bd45798716fc62d2d9d Mon Sep 17 00:00:00 2001 From: mikkonecny Date: Sun, 9 May 2021 00:28:42 +0100 Subject: [PATCH] add cdar-mBound --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 361d5cc1..979b55f0 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3321,6 +3321,7 @@ packages: - hmpfr - collect-errors - mixed-types-num + - cdar-mBound # - aern2-mp # - aern2-real