Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bump fiat-crypto dependency versions
Browse files Browse the repository at this point in the history
JasonGross committed Oct 27, 2023
1 parent 770bc52 commit 654417e
Showing 6 changed files with 11 additions and 11 deletions.
Original file line number Diff line number Diff line change
@@ -15,7 +15,7 @@ build: [
install: [make "EXTERNAL_DEPENDENCIES=1" "install_compiler"]
depends: [
"conf-findutils" {build}
"coq" {>= "8.15~"}
"coq" {>= "8.16~"}
"coq-bedrock2" {= "0.0.6"}
"coq-riscv" {= "0.0.4"}
"zarith" {>= "1.11"}
4 changes: 2 additions & 2 deletions released/packages/coq-bedrock2/coq-bedrock2.0.0.6/opam
Original file line number Diff line number Diff line change
@@ -18,8 +18,8 @@ run-test: [
depends: [
"conf-findutils" {build}
"conf-python-3" {build & with-test}
"coq" {>= "8.15~"}
"coq-coqutil" {= "0.0.3"}
"coq" {>= "8.16~"}
"coq-coqutil" {= "0.0.4"}
"zarith" {>= "1.11"}
]
dev-repo: "git+https://github.com/mit-plv/bedrock2.git"
Original file line number Diff line number Diff line change
@@ -20,7 +20,7 @@ depends: [
"ocamlfind" {build}
"coq" {>= "8.15~"}
"coq-coqprime" {>= "1.2.0"}
"coq-rewriter" {>= "0.0.6" & <= "0.0.8"}
"coq-rewriter" {>= "0.0.6" & <= "0.0.9"}
"coq-rupicola" {= "0.0.7"}
"coq-bedrock2-compiler" {= "0.0.5"}
]
8 changes: 4 additions & 4 deletions released/packages/coq-fiat-crypto/coq-fiat-crypto.0.0.24/opam
Original file line number Diff line number Diff line change
@@ -18,11 +18,11 @@ depends: [
"conf-findutils" {build}
"ocaml" {build & >= "4.08~"}
"ocamlfind" {build}
"coq" {>= "8.15~"}
"coq" {>= "8.16~"}
"coq-coqprime" {>= "1.2.0"}
"coq-rewriter" {>= "0.0.6" & <= "0.0.8"}
"coq-rupicola" {= "0.0.7"}
"coq-bedrock2-compiler" {= "0.0.5"}
"coq-rewriter" {>= "0.0.6" & <= "0.0.9"}
"coq-rupicola" {= "0.0.8"}
"coq-bedrock2-compiler" {= "0.0.6"}
]
conflict-class: [
"coq-fiat-crypto"
2 changes: 1 addition & 1 deletion released/packages/coq-riscv/coq-riscv.0.0.4/opam
Original file line number Diff line number Diff line change
@@ -12,7 +12,7 @@ build: [
install: [make "EXTERNAL_DEPENDENCIES=1" "install"]
depends: [
"coq" {>= "8.15~"}
"coq-coqutil" {= "0.0.3"}
"coq-coqutil" {>= "0.0.3" & <= "0.0.4"}
"coq-record-update" {>= "0.3.0"}
]
dev-repo: "git+https://github.com/mit-plv/riscv-coq.git"
4 changes: 2 additions & 2 deletions released/packages/coq-rupicola/coq-rupicola.0.0.8/opam
Original file line number Diff line number Diff line change
@@ -16,8 +16,8 @@ build: [
install: [make "EXTERNAL_DEPENDENCIES=1" "install"]
depends: [
"conf-findutils" {build}
"coq" {>= "8.15~"}
"coq-bedrock2" {= "0.0.5"}
"coq" {>= "8.16~"}
"coq-bedrock2" {= "0.0.6"}
]
dev-repo: "git+https://github.com/mit-plv/rupicola.git"
synopsis: "Gallina to imperative code compilation, currently in design phase"

0 comments on commit 654417e

Please sign in to comment.