From 1ff5dc93b4b4774bca3ec2c005ec1da94fbf9838 Mon Sep 17 00:00:00 2001 From: mikkonecny Date: Tue, 19 Mar 2019 17:24:07 +0000 Subject: [PATCH 1/3] 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 @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": - oeis From e0614b64e0483d74b9845d3f88ee998cff33a964 Mon Sep 17 00:00:00 2001 From: mikkonecny Date: Sat, 1 May 2021 12:49:11 +0100 Subject: [PATCH 2/3] 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 @michalkonecny": - hmpfr + - collect-errors - mixed-types-num - aern2-mp - aern2-real From 17e029cf27e097e3f12edc660ca0f53a572cbabf Mon Sep 17 00:00:00 2001 From: mikkonecny Date: Sat, 1 May 2021 12:59:12 +0100 Subject: [PATCH 3/3] disable aern2-mp and aern2-real --- build-constraints.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index caba1a0e..feb121cb 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3321,8 +3321,8 @@ packages: - hmpfr - collect-errors - mixed-types-num - - aern2-mp - - aern2-real + # - aern2-mp + # - aern2-real "Bartosz Nitka @niteria": - oeis < 0 # via test-framework