From 1906121679bb919f488a3f56caffb8b1a7919caa Mon Sep 17 00:00:00 2001
From: Yannick Forster <forster@ps.uni-saarland.de>
Date: Tue, 15 Dec 2020 08:53:55 +0100
Subject: [PATCH] Bump to 8.13

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 8821e5f..6313dc2 100644
--- a/opam
+++ b/opam
@@ -12,7 +12,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "ocaml"
-  "coq" { >= "8.12" & < "8.13~" }
+  "coq" { >= "8.13" & < "8.14~" }
 ]
 synopsis: "Smpl: An Extensible Tactic for Coq"
 description: """