From ffefa0526c28ed9c3e2b079b250a8f86cbc1907f Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Wed, 9 Jan 2019 14:20:13 +0200
Subject: [PATCH] Drop aern2-mp michalkonecny/aern2#1

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 007d8efa..b5931a8c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2962,7 +2962,7 @@ packages:
     "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
         - hmpfr
         - mixed-types-num
-        - aern2-mp
+        - aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
         - aern2-real < 0
 
     "Bartosz Nitka <niteria@gmail.com> @niteria":