copilot 4.6.1 → 4.7

raw patch · 2 files changed

+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: copilot-c99, copilot-core, copilot-language, copilot-libraries, copilot-prettyprinter, copilot-theorem

API changes (from Hackage documentation)

Files

• CHANGELOG +3/−0
• copilot.cabal +7/−7

@@ -1,3 +1,6 @@+2026-03-07+        * Version bump (4.7). (#714)+ 2026-01-07         * Version bump (4.6.1). (#705)         * Relax version constraint on optparse-applicative. (#603)

@@ -1,5 +1,5 @@ name:                copilot-version:             4.6.1+version:             4.7 cabal-version:       >= 1.10 license:             BSD3 license-file:        LICENSE@@ -52,12 +52,12 @@                      , directory             >= 1.3  && < 1.4                      , filepath              >= 1.4  && < 1.6 -                     , copilot-core          >= 4.6.1 && < 4.7-                     , copilot-theorem       >= 4.6.1 && < 4.7-                     , copilot-language      >= 4.6.1 && < 4.7-                     , copilot-libraries     >= 4.6.1 && < 4.7-                     , copilot-c99           >= 4.6.1 && < 4.7-                     , copilot-prettyprinter >= 4.6.1 && < 4.7+                     , copilot-core          >= 4.7 && < 4.8+                     , copilot-theorem       >= 4.7 && < 4.8+                     , copilot-language      >= 4.7 && < 4.8+                     , copilot-libraries     >= 4.7 && < 4.8+                     , copilot-c99           >= 4.7 && < 4.8+                     , copilot-prettyprinter >= 4.7 && < 4.8       exposed-modules: Language.Copilot, Language.Copilot.Main