packages feed

copilot 3.19 → 3.19.1

raw patch · 2 files changed

+14/−11 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 view
@@ -1,3 +1,6 @@+2024-05-07+        * Version bump (3.19.1). (#512)+ 2024-03-07         * Version bump (3.19). (#504) 
copilot.cabal view
@@ -1,5 +1,5 @@ name:                copilot-version:             3.19+version:             3.19.1 cabal-version:       >= 1.10 license:             BSD3 license-file:        LICENSE@@ -47,17 +47,17 @@       -Wall       -fno-warn-orphans     build-depends:-                       base                  >= 4.9  && < 5-                     , optparse-applicative  >= 0.14 && < 0.19-                     , directory             >= 1.3  && < 1.4-                     , filepath              >= 1.4  && < 1.5+                       base                  >= 4.9    && < 5+                     , optparse-applicative  >= 0.14   && < 0.19+                     , directory             >= 1.3    && < 1.4+                     , filepath              >= 1.4    && < 1.5 -                     , copilot-core          >= 3.19 && < 3.20-                     , copilot-theorem       >= 3.19 && < 3.20-                     , copilot-language      >= 3.19 && < 3.20-                     , copilot-libraries     >= 3.19 && < 3.20-                     , copilot-c99           >= 3.19 && < 3.20-                     , copilot-prettyprinter >= 3.19 && < 3.20+                     , copilot-core          >= 3.19.1 && < 3.20+                     , copilot-theorem       >= 3.19.1 && < 3.20+                     , copilot-language      >= 3.19.1 && < 3.20+                     , copilot-libraries     >= 3.19.1 && < 3.20+                     , copilot-c99           >= 3.19.1 && < 3.20+                     , copilot-prettyprinter >= 3.19.1 && < 3.20       exposed-modules: Language.Copilot, Language.Copilot.Main