From 2b4e709b7c80e0c35734a7b9eb834cc9d133d8d6 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 7 Jun 2020 21:18:09 +0200
Subject: [CI/CD] Deploy mathcomp/mathcomp-dev:coq-8.12 (with Coq 8.12+alpha)

---
 coq-mathcomp-ssreflect.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq-mathcomp-ssreflect.opam')

diff --git a/coq-mathcomp-ssreflect.opam b/coq-mathcomp-ssreflect.opam
index d29b111..7b7be4c 100644
--- a/coq-mathcomp-ssreflect.opam
+++ b/coq-mathcomp-ssreflect.opam
@@ -9,7 +9,7 @@ license: "CeCILL-B"
 
 build: [ make "-C" "mathcomp/ssreflect" "-j" "%{jobs}%" ]
 install: [ make "-C" "mathcomp/ssreflect" "install" ]
-depends: [ "coq" { ((>= "8.7" & < "8.12~") | (= "dev"))} ]
+depends: [ "coq" { ((>= "8.7" & < "8.13~") | (= "dev"))} ]
 
 tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" "logpath:mathcomp.ssreflect" ]
 authors: [ "Jeremy Avigad <>" "Andrea Asperti <>" "Stephane Le Roux <>" "Yves Bertot <>" "Laurence Rideau <>" "Enrico Tassi <>" "Ioana Pasca <>" "Georges Gonthier <>" "Sidi Ould Biha <>" "Cyril Cohen <>" "Francois Garillot <>" "Alexey Solovyev <>" "Russell O'Connor <>" "Laurent Théry <>" "Assia Mahboubi <>" ]
-- 
cgit v1.2.3