Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
@Ailrun
Ailrun committed Oct 29, 2024
1 parent d2e4f67 commit 06d53fb
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -58,6 +58,7 @@ implementation.
We recommend to install dependencies in the following way:

```bash
opam update
opam switch create coq-8.20.0 4.14.2
opam pin add coq 8.20.0
opam repo add coq-released https://coq.inria.fr/opam/released
Expand Down

0 comments on commit 06d53fb

Please sign in to comment.