copilot 3.18 → 3.18.1
raw patch · 3 files changed
+13/−9 lines, 3 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-language
Dependency ranges changed: copilot-c99, copilot-core, copilot-language, copilot-libraries, copilot-prettyprinter, copilot-theorem
Files
- CHANGELOG +4/−0
- README.md +2/−2
- copilot.cabal +7/−7
CHANGELOG view
@@ -1,4 +1,8 @@ 2024-01-07+ * Version bump (3.18.1). (#493)+ * Update README to reflect support for GHC 9.6. (#491)++2024-01-07 * Version bump (3.18). (#487) * Enable tests for copilot-theorem in CI script. (#474) * Enable tests for copilot-libraries in CI script. (#475)
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.4 as of this writing). You can install the toolchain using+(9.6 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`: @@ -111,7 +111,7 @@ To use Copilot you must have a Haskell compiler (GHC) and the package manager Cabal. We currently support all versions of GHC from 8.6.5 to modern versions-(9.4 as of this writing). You can install the toolchain using+(9.6 as of this writing). You can install the toolchain using [ghcup](https://www.haskell.org/ghcup/), as well as with Homebrew: ```sh
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 3.18+version: 3.18.1 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -52,12 +52,12 @@ , directory >= 1.3 && < 1.4 , filepath >= 1.4 && < 1.5 - , copilot-core >= 3.18 && < 3.19- , copilot-theorem >= 3.18 && < 3.19- , copilot-language >= 3.18 && < 3.19- , copilot-libraries >= 3.18 && < 3.19- , copilot-c99 >= 3.18 && < 3.19- , copilot-prettyprinter >= 3.18 && < 3.19+ , copilot-core >= 3.18.1 && < 3.19+ , copilot-theorem >= 3.18.1 && < 3.19+ , copilot-language >= 3.18.1 && < 3.19+ , copilot-libraries >= 3.18.1 && < 3.19+ , copilot-c99 >= 3.18.1 && < 3.19+ , copilot-prettyprinter >= 3.18.1 && < 3.19 exposed-modules: Language.Copilot, Language.Copilot.Main