Coq 8.15.dev also works fine

coq-community · Dec 8, 2021 · 30def46 · 30def46
1 parent c71b2da
commit 30def46
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/coq-autosubst.opam b/coq-autosubst.opam
@@ -20,10 +20,10 @@ annotations, Autosubst synthesizes the parallel substitution
 operation and automatically proves the basic lemmas about
 substitutions."""
 
-build: [make "-j%{jobs}%" ]
+build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.11" & < "8.15~") | (= "dev")}
+  "coq" {(>= "8.11" & < "8.16~") | (= "dev")}
 ]
 
 tags: [

diff --git a/meta.yml b/meta.yml
@@ -45,7 +45,7 @@ license:
 
 supported_coq_versions:
   text: 8.11 or later
-  opam: '{(>= "8.11" & < "8.15~") | (= "dev")}'
+  opam: '{(>= "8.11" & < "8.16~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: 'coq-dev'