From fac02ac143ee2a74929e6ae2949fca4bfd450159 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 3c0e0130..97426a6c 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