From 06d53fb3bab786633fc438375caee0bd909e60ab Mon Sep 17 00:00:00 2001 From: "Junyoung/\"Clare\" Jang" Date: Tue, 29 Oct 2024 15:01:57 -0400 Subject: [PATCH] Update README --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 60fb845..e874651 100644 --- a/README.md +++ b/README.md @@ -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