From 2ecac94247d2ab7e4c1d5ffa900a7171b19a9956 Mon Sep 17 00:00:00 2001
From: Yannick Forster <forster@ps.uni-saarland.de>
Date: Tue, 15 Dec 2020 09:24:02 +0100
Subject: [PATCH] add dev repo for Coq beta

---
 .github/workflows/build.yml | 1 +
 opam                        | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f4fa975..a41e4c9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -27,6 +27,7 @@ jobs:
           fetch-depth: 1
 
       - run: opam repo add coq-released https://coq.inria.fr/opam/released
+      - run: opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
       - run: opam install . --deps-only --with-doc --with-test
 
       - run: opam exec -- make -j 2 all
diff --git a/opam b/opam
index 6313dc2..74058cb 100644
--- a/opam
+++ b/opam
@@ -12,7 +12,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "ocaml"
-  "coq" { >= "8.13" & < "8.14~" }
+  "coq" { = "8.13+beta1" }
 ]
 synopsis: "Smpl: An Extensible Tactic for Coq"
 description: """