From f7b04c618403ae4dcb9f426a90b7a893351c8ca2 Mon Sep 17 00:00:00 2001
From: mikkonecny <mikkonecny@gmail.com>
Date: Wed, 19 May 2021 10:32:21 +0100
Subject: [PATCH] add aern2-mp (trigger new check)

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index a2bd7c04..76188150 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3329,7 +3329,7 @@ packages:
         - mixed-types-num
         - cdar-mBound
         - aern2-mp
-        # - aern2-real
+        #  - aern2-real
 
     "Bartosz Nitka <niteria@gmail.com> @niteria":
         - oeis < 0 # via test-framework