From 73c7b0e3c2ca60d45571cd6c757c58f904775bf8 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 5 Dec 2024 23:34:57 -0800 Subject: [PATCH] Add upper bounds to older versions of rewriter --- released/packages/coq-rewriter/coq-rewriter.0.0.10/opam | 2 +- released/packages/coq-rewriter/coq-rewriter.0.0.11/opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/released/packages/coq-rewriter/coq-rewriter.0.0.10/opam b/released/packages/coq-rewriter/coq-rewriter.0.0.10/opam index 937f458995..31d3f5d722 100644 --- a/released/packages/coq-rewriter/coq-rewriter.0.0.10/opam +++ b/released/packages/coq-rewriter/coq-rewriter.0.0.10/opam @@ -14,7 +14,7 @@ install: [make "install"] depends: [ "conf-findutils" {build} "ocaml" {build & (arch = "x86_32" | arch = "x86_64" | >= "4.14.0")} - "coq" {>= "8.15~"} + "coq" {>= "8.15~" & < "8.20~"} ] 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.11/opam b/released/packages/coq-rewriter/coq-rewriter.0.0.11/opam index d39003b95f..5e94638aac 100644 --- a/released/packages/coq-rewriter/coq-rewriter.0.0.11/opam +++ b/released/packages/coq-rewriter/coq-rewriter.0.0.11/opam @@ -14,7 +14,7 @@ install: [make "install"] depends: [ "conf-findutils" {build} "ocaml" {build & (arch = "x86_32" | arch = "x86_64" | >= "4.14.0")} - "coq" {>= "8.17~"} + "coq" {>= "8.17~" & < "8.20~"} ] 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"