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