diff --git a/build-constraints.yaml b/build-constraints.yaml index c26edba8..caba1a0e 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3319,6 +3319,7 @@ packages: "Michal Konecny @michalkonecny": - hmpfr + - collect-errors - mixed-types-num - aern2-mp - aern2-real