From 36d1b79627d20849296da08234a285ac115abb26 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 22 Sep 2023 09:31:03 -0700 Subject: [PATCH] Add upper Coq version bounds for coq-rewriter released --- released/packages/coq-rewriter/coq-rewriter.0.0.2/opam | 2 +- released/packages/coq-rewriter/coq-rewriter.0.0.6/opam | 2 +- released/packages/coq-rewriter/coq-rewriter.0.0.7/opam | 2 +- released/packages/coq-rewriter/coq-rewriter.0.0.8/opam | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/released/packages/coq-rewriter/coq-rewriter.0.0.2/opam b/released/packages/coq-rewriter/coq-rewriter.0.0.2/opam index 6b1534bfd..ff3d29595 100644 --- a/released/packages/coq-rewriter/coq-rewriter.0.0.2/opam +++ b/released/packages/coq-rewriter/coq-rewriter.0.0.2/opam @@ -14,7 +14,7 @@ install: [make "install"] depends: [ "ocaml" {build} "ocaml" {build & >= "4.14.0" & arch != "arm64"} - "coq" {>= "8.9~"} + "coq" {>= "8.9~" & < "8.17~"} ] dev-repo: "git+https://github.com/mit-plv/rewriter.git" synopsis: "Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography" diff --git a/released/packages/coq-rewriter/coq-rewriter.0.0.6/opam b/released/packages/coq-rewriter/coq-rewriter.0.0.6/opam index c3542bca1..11c82d638 100644 --- a/released/packages/coq-rewriter/coq-rewriter.0.0.6/opam +++ b/released/packages/coq-rewriter/coq-rewriter.0.0.6/opam @@ -15,7 +15,7 @@ depends: [ "conf-findutils" {build} "ocaml" {build} "ocaml" {build & >= "4.14.0" & arch != "arm64"} - "coq" {>= "8.15~"} + "coq" {>= "8.15~" & < "8.18~"} ] dev-repo: "git+https://github.com/mit-plv/rewriter.git" synopsis: "Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography" diff --git a/released/packages/coq-rewriter/coq-rewriter.0.0.7/opam b/released/packages/coq-rewriter/coq-rewriter.0.0.7/opam index ceea88b98..50bae1640 100644 --- a/released/packages/coq-rewriter/coq-rewriter.0.0.7/opam +++ b/released/packages/coq-rewriter/coq-rewriter.0.0.7/opam @@ -15,7 +15,7 @@ depends: [ "conf-findutils" {build} "ocaml" {build} "ocaml" {build & >= "4.14.0" & arch != "arm64"} - "coq" {>= "8.15~"} + "coq" {>= "8.15~" & < "8.18~"} ] dev-repo: "git+https://github.com/mit-plv/rewriter.git" synopsis: "Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography" diff --git a/released/packages/coq-rewriter/coq-rewriter.0.0.8/opam b/released/packages/coq-rewriter/coq-rewriter.0.0.8/opam index 67256286a..6071168b4 100644 --- a/released/packages/coq-rewriter/coq-rewriter.0.0.8/opam +++ b/released/packages/coq-rewriter/coq-rewriter.0.0.8/opam @@ -15,7 +15,7 @@ depends: [ "conf-findutils" {build} "ocaml" {build} "ocaml" {build & >= "4.14.0" & arch != "arm64"} - "coq" {>= "8.15~"} + "coq" {>= "8.15~" & < "8.18~"} ] dev-repo: "git+https://github.com/mit-plv/rewriter.git" synopsis: "Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography"