From 31a090e51b9dba7aeabc52c9fc08415ee5c866e6 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Thu, 23 Jul 2026 17:37:42 +0800 Subject: [PATCH] allow copilot-4.8: closes #8071 --- build-constraints.yaml | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 597b1b22..18c2cb4d 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -7857,16 +7857,6 @@ packages: # https://github.com/commercialhaskell/stackage/issues/8067 - haskell-src-exts < 1.24 - # https://github.com/commercialhaskell/stackage/issues/8071 - - copilot < 4.8 - - copilot-c99 < 4.8 - - copilot-core < 4.8 - - copilot-interpreter < 4.8 - - copilot-language < 4.8 - - copilot-libraries < 4.8 - - copilot-prettyprinter < 4.8 - - copilot-theorem < 4.8 - # https://github.com/commercialhaskell/stackage/issues/8073 - bindings-DSL < 1.1.0