From e0614b64e0483d74b9845d3f88ee998cff33a964 Mon Sep 17 00:00:00 2001
From: mikkonecny <mikkonecny@gmail.com>
Date: Sat, 1 May 2021 12:49:11 +0100
Subject: [PATCH] add collect-errors

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index c26edba8..caba1a0e 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3319,6 +3319,7 @@ packages:
 
     "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
         - hmpfr
+        - collect-errors
         - mixed-types-num
         - aern2-mp
         - aern2-real