From ac72bf26110a3676d8122033d3ab0bda1437f461 Mon Sep 17 00:00:00 2001
From: Kenji Maillard <kenji@maillard.blue>
Date: Fri, 18 Oct 2024 12:43:35 +0200
Subject: [PATCH] trivial update for coq 8.20

---
 README.md | 8 ++++----
 opam      | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 348ac50..c2b55ca 100644
--- a/README.md
+++ b/README.md
@@ -26,13 +26,13 @@ The plugin is available for various versions of Coq in the different branches of
 
 ## Installation
 
-We provide an opam repository from which smpl can be installed. 
-To install from the opam repository for Coq 8.19 and onwards use the following 
+We provide an opam repository from which smpl can be installed.
+To install from the opam repository for Coq 8.20 and onwards use the following
 commands:
 
     opam repo add coq-released https://coq.inria.fr/opam/released
     opam update
-    opam install coq-smpl.8.19
+    opam install coq-smpl.8.20
 
 ### Manual Installation
 
@@ -58,7 +58,7 @@ examples.
 If you want to place smpl's sources in your project, you can place it
 in a directory of your project.
 
-    git clone -v coq-8.19 https://github.com/uds-psl/smpl.git
+    git clone -v coq-8.20 https://github.com/uds-psl/smpl.git
     cd smpl
     make
 
diff --git a/opam b/opam
index dd8dd00..9cf3fe9 100644
--- a/opam
+++ b/opam
@@ -12,7 +12,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "ocaml"
-  "coq" { >= "8.19" | = "dev" }
+  "coq" { >= "8.20" | = "dev" }
 ]
 synopsis: "Smpl: An Extensible Tactic for Coq"
 description: """