From 17e029cf27e097e3f12edc660ca0f53a572cbabf Mon Sep 17 00:00:00 2001
From: mikkonecny <mikkonecny@gmail.com>
Date: Sat, 1 May 2021 12:59:12 +0100
Subject: [PATCH] disable aern2-mp and aern2-real

---
 build-constraints.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index caba1a0e..feb121cb 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3321,8 +3321,8 @@ packages:
         - hmpfr
         - collect-errors
         - mixed-types-num
-        - aern2-mp
-        - aern2-real
+        # - aern2-mp
+        # - aern2-real
 
     "Bartosz Nitka <niteria@gmail.com> @niteria":
         - oeis < 0 # via test-framework