From ecde40fe068d9ba157b40bac065fa0b33b4bfec4 Mon Sep 17 00:00:00 2001
From: mikkonecny <mikkonecny@gmail.com>
Date: Wed, 6 Dec 2017 10:30:43 +0000
Subject: [PATCH] Adding packages aern2-mp, aern2-real

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index eddad300..8cd7f798 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2514,6 +2514,8 @@ packages:
     "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
         - hmpfr
         - mixed-types-num
+        - aern2-mp
+        - aern2-real
 
     "Bartosz Nitka <niteria@gmail.com> @niteria":
         - oeis