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