From ead10bf99991750001bffb9483c79d7ca680aae1 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Wed, 16 Oct 2024 18:32:24 -0400
Subject: [PATCH] opam: Require coq < 8.16

`entree-specs` is not currently buildable with Coq 8.16 or later. See #1. As
such, we prevent these versions of Coq from being included in build plans by
excluding them at the `opam` file level.
---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 9555493..4962a22 100644
--- a/opam
+++ b/opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/GaloisInc/entree-specs/issues"
 depends: [
   "ocaml"
   "ocamlfind"
-  "coq" {>= "8.15"}
+  "coq" {>= "8.15" & < "8.16"}
   "coq-itree" {>= "5.2" & < "5.3"}
   "coq-paco" {>= "4.1.2"}
 ]