From 5b0ab6e8ef9a5fa8c4c7086cc64ab90ba90557e8 Mon Sep 17 00:00:00 2001 From: Piotr Paradzinski Date: Fri, 29 May 2026 03:08:18 +0200 Subject: [PATCH] copilot: Add missing base and containers bounds in executable stanzas. Refs #735. --- copilot/copilot.cabal | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal index ace61023..c5f448d3 100644 --- a/copilot/copilot.cabal +++ b/copilot/copilot.cabal @@ -65,7 +65,7 @@ library executable what4-propositional main-is: Propositional.hs hs-source-dirs: examples/what4 - build-depends: base + build-depends: base >= 4.9 && < 5 , copilot , copilot-theorem default-language: Haskell2010 @@ -77,7 +77,7 @@ executable what4-propositional executable what4-arithmetic main-is: Arithmetic.hs hs-source-dirs: examples/what4 - build-depends: base + build-depends: base >= 4.9 && < 5 , copilot , copilot-theorem default-language: Haskell2010 @@ -89,8 +89,8 @@ executable what4-arithmetic executable what4-arithmetic-counterexamples main-is: ArithmeticCounterExamples.hs hs-source-dirs: examples/what4 - build-depends: base - , containers + build-depends: base >= 4.9 && < 5 + , containers >= 0.4 && < 0.9 , copilot , copilot-theorem default-language: Haskell2010 @@ -102,7 +102,7 @@ executable what4-arithmetic-counterexamples executable what4-structs main-is: Structs.hs hs-source-dirs: examples/what4 - build-depends: base + build-depends: base >= 4.9 && < 5 , copilot , copilot-theorem default-language: Haskell2010