Skip to content

Commit 0a8d1a9

Browse files
copilot: Update README to reflect support for GHC 9.6. Refs #491.
A recent update to copilot-theorem makes all of Copilot compatible with GHC 9.6. This commit updates the README to reflect such compatibility.
1 parent b826f42 commit 0a8d1a9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

copilot/README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -81,7 +81,7 @@ ghci> ghci> Leaving GHCi.
8181
On other Linux distributions or older Debian-based distributions, to use
8282
Copilot you must install a Haskell compiler (GHC) and the package manager
8383
Cabal. We currently support all versions of GHC from 8.6.5 to modern versions
84-
(9.4 as of this writing). You can install the toolchain using
84+
(9.6 as of this writing). You can install the toolchain using
8585
[ghcup](https://www.haskell.org/ghcup/) or, if you are on Debian/Ubuntu,
8686
directly with `apt-get`:
8787

@@ -111,7 +111,7 @@ ghci> ghci> Leaving GHCi.
111111

112112
To use Copilot you must have a Haskell compiler (GHC) and the package manager
113113
Cabal. We currently support all versions of GHC from 8.6.5 to modern versions
114-
(9.4 as of this writing). You can install the toolchain using
114+
(9.6 as of this writing). You can install the toolchain using
115115
[ghcup](https://www.haskell.org/ghcup/), as well as with Homebrew:
116116

117117
```sh

0 commit comments

Comments
 (0)