diff --git a/build-constraints.yaml b/build-constraints.yaml
index 2703abf5..feb121cb 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3319,9 +3319,10 @@ packages:
 
     "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
         - hmpfr
+        - collect-errors
         - mixed-types-num
-        - aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
-        - aern2-real < 0
+        # - aern2-mp
+        # - aern2-real
 
     "Bartosz Nitka <niteria@gmail.com> @niteria":
         - oeis < 0 # via test-framework