From aaf8f0375f31a4d1569a0618db65e6c5a66ffc07 Mon Sep 17 00:00:00 2001 From: Yannick Forster Date: Wed, 2 Nov 2022 13:32:11 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a8c895d..b4860a9 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Temporary Note -This is the development version of the smpl plugin for Coq `8.16+rc1`. +This is the development version of the smpl plugin for Coq `8.16`. For installation use ``` opam pin add -k git smpl.dev "https://github.com/uds-psl/smpl.git#coq-8.16"