Skip to content

Commit

Permalink
Add upper bounds to older versions of rewriter
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross committed Dec 6, 2024
1 parent f5afc68 commit 73c7b0e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion released/packages/coq-rewriter/coq-rewriter.0.0.10/opam
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
2 changes: 1 addition & 1 deletion released/packages/coq-rewriter/coq-rewriter.0.0.11/opam
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down

0 comments on commit 73c7b0e

Please sign in to comment.