diff --git a/build-constraints.yaml b/build-constraints.yaml index deb7507d..61713518 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -2514,6 +2514,8 @@ packages: "Michal Konecny @michalkonecny": - hmpfr - mixed-types-num + - aern2-mp + - aern2-real "Bartosz Nitka @niteria": - oeis