From 30def467f3f4421845f811ad379c686334f3bc28 Mon Sep 17 00:00:00 2001
From: Ralf Jung <research@ralfj.de>
Date: Wed, 8 Dec 2021 11:52:22 -0500
Subject: [PATCH] Coq 8.15.dev also works fine

---
 coq-autosubst.opam | 4 ++--
 meta.yml           | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq-autosubst.opam b/coq-autosubst.opam
index 618d5c5..d732169 100644
--- 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
index d7ae6d5..fe2d71d 100644
--- 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'