Skip to content

Commit

Permalink
Typo README
Browse files Browse the repository at this point in the history
  • Loading branch information
@yforster
yforster committed Mar 21, 2024
1 parent cf8df25 commit 19f220f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,7 @@ opam pin add coq-library-undecidability.dev+8.19 "https://github.com/uds-psl/coq

### Manual installation

You need `Coq 8.19` built on OCAML `>= 4.09.1` (but we recommend and test OCaml version `4.14.1+flambda`) and the Template-Coq (part of [MetaCoq](https://metacoq.github.io/)) package for Coq. If you are using opam 2 you can use the following commands to install the dependencies on a new switch:
You need `Coq 8.19` built on OCAML `>= 4.09.1` (but we recommend and test OCaml version `4.14.1+flambda`) and the Template-Coq part of the [MetaCoq](https://metacoq.github.io/) package for Coq. If you are using opam 2 you can use the following commands to install the dependencies on a new switch:

```
opam switch create coq-library-undecidability --packages=ocaml-variants.4.14.1+options,ocaml-option-flambda
Expand Down

0 comments on commit 19f220f

Please sign in to comment.