copilot 3.19.1 → 3.20
raw patch · 3 files changed
+16/−12 lines, 3 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 +4/−0
- README.md +1/−1
- copilot.cabal +11/−11
CHANGELOG view
@@ -1,3 +1,7 @@+2024-07-07+ * Version bump (3.20). (#522)+ * Update README to reflect support for GHC 9.8. (#518)+ 2024-05-07 * Version bump (3.19.1). (#512)
README.md view
@@ -81,7 +81,7 @@ On other Linux distributions or older Debian-based distributions, to use Copilot you must install a Haskell compiler (GHC) and the package manager Cabal. We currently support all versions of GHC from 8.6.5 to modern versions-(9.6 as of this writing). You can install the toolchain using+(9.8 as of this writing). You can install the toolchain using [ghcup](https://www.haskell.org/ghcup/) or, if you are on Debian/Ubuntu, directly with `apt-get`:
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 3.19.1+version: 3.20 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.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+ , copilot-core >= 3.20 && < 3.21+ , copilot-theorem >= 3.20 && < 3.21+ , copilot-language >= 3.20 && < 3.21+ , copilot-libraries >= 3.20 && < 3.21+ , copilot-c99 >= 3.20 && < 3.21+ , copilot-prettyprinter >= 3.20 && < 3.21 exposed-modules: Language.Copilot, Language.Copilot.Main