From 1ff5dc93b4b4774bca3ec2c005ec1da94fbf9838 Mon Sep 17 00:00:00 2001
From: mikkonecny <mikkonecny@gmail.com>
Date: Tue, 19 Mar 2019 17:24:07 +0000
Subject: [PATCH] re-enable aern2 packages

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 9ab2361e..0299aefe 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3006,8 +3006,8 @@ packages:
     "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
         - hmpfr
         - 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