Skip to content

Commit

Permalink
Merge pull request #26099 from hannesm/eqaf-bounds
Browse files Browse the repository at this point in the history 
mirage-crypto & fiat-p256 does not work with newer eqaf (requires the .cstruct package)
  • Loading branch information
@raphael-proust
raphael-proust authored Jun 17, 2024
2 parents e06bf2b + 1aa0b2e commit 2f8c856
Show file tree
Hide file tree
Showing 28 changed files with 32 additions and 32 deletions.
4 changes: 2 additions & 2 deletions packages/fiat-p256/fiat-p256.0.2.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,8 +34,8 @@ depends: [
"cstruct" {>= "3.5.0" & < "6.1.0"}
"dune" {>= "1.10.0"}
"dune-configurator"
"eqaf" {>= "0.5"}
"hex"
"eqaf" {>= "0.7" & < "0.10"}
"hex" {>= "1.4.0"}
"ppx_deriving_yojson" {with-test}
"rresult" {with-test}
"stdlib-shims" {with-test}
Expand Down
4 changes: 2 additions & 2 deletions packages/fiat-p256/fiat-p256.0.2.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,8 @@ depends: [
"bigarray-compat"
"cstruct" {>= "3.5.0" & < "6.1.0"}
"dune-configurator"
"eqaf" {>= "0.5"}
"hex"
"eqaf" {>= "0.7" & < "0.10"}
"hex" {>= "1.4.0"}
"conf-pkg-config" {build}
"ppx_deriving_yojson" {with-test}
"rresult" {with-test}
Expand Down
4 changes: 2 additions & 2 deletions packages/fiat-p256/fiat-p256.0.2.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,8 @@ depends: [
"bigarray-compat"
"cstruct" {>= "3.5.0" & < "6.1.0"}
"dune-configurator"
"eqaf" {>= "0.5"}
"hex"
"eqaf" {>= "0.7" & < "0.10"}
"hex" {>= "1.4.0"}
"conf-pkg-config" {build}
"ppx_deriving_yojson" {with-test}
"rresult" {with-test}
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.10.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
"bigarray-compat" # required to get eqaf.cstruct
]
depopts: [
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.10.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
"bigarray-compat" # required to get eqaf.cstruct
]
depopts: [
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.10.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
"bigarray-compat" # required to get eqaf.cstruct
]
depopts: [
Expand Down
4 changes: 2 additions & 2 deletions packages/mirage-crypto/mirage-crypto.0.10.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
"bigarray-compat" # required to get eqaf.cstruct
]
depopts: [
Expand All @@ -42,4 +42,4 @@ url {
"sha512=eb0d5a947649d6d9d55b8f5d5ea624e7b2b969baf7b855bf86b46cfadf9312e42e9caea479eb9c364a3c9cd4b3aa56f3a6a1b0cc20e022fdbd82bdb722df1198"
]
}
available: arch != "arm32"
available: arch != "arm32"
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.10.4/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit" {with-test}
"cstruct" {>="6.0.0"}
"eqaf" {>= "0.8"}
"eqaf" {>= "0.8" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.10.5/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit" {with-test}
"cstruct" {>="6.0.0"}
"eqaf" {>= "0.8"}
"eqaf" {>= "0.8" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.10.6/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit2" {with-test}
"cstruct" {>="6.0.0"}
"eqaf" {>= "0.8"}
"eqaf" {>= "0.8" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.10.7/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit2" {with-test}
"cstruct" {>="6.0.0"}
"eqaf" {>= "0.8"}
"eqaf" {>= "0.8" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.11.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit2" {with-test}
"cstruct" {>="6.0.0"}
"eqaf" {>= "0.8"}
"eqaf" {>= "0.8" & < "0.10"}
]
conflicts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.11.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit2" {with-test}
"cstruct" {>="6.0.0"}
"eqaf" {>= "0.8"}
"eqaf" {>= "0.8" & < "0.10"}
]
conflicts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.11.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit2" {with-test}
"cstruct" {>="6.0.0"}
"eqaf" {>= "0.8"}
"eqaf" {>= "0.8" & < "0.10"}
]
conflicts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.11.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ depends: [
"dune-configurator" {>= "2.0.0"}
"ounit2" {with-test}
"cstruct" {>="6.0.0"}
"eqaf" {>= "0.8"}
"eqaf" {>= "0.8" & < "0.10"}
]
conflicts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"mirage-xen-posix"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.10/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>= "3.2.0" & < "6.1.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"mirage-xen-posix"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"mirage-xen-posix"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.4/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"mirage-xen-posix"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.5/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"mirage-xen-posix"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.6/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.7/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.8/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.8.9/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.9.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.9.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down
2 changes: 1 addition & 1 deletion packages/mirage-crypto/mirage-crypto.0.9.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ depends: [
"ounit" {with-test}
"cstruct" {>="3.2.0" & < "6.1.0"}
"bigarray-compat" # required to get eqaf.cstruct
"eqaf" {>= "0.7"}
"eqaf" {>= "0.7" & < "0.10"}
]
depopts: [
"ocaml-freestanding"
Expand Down

0 comments on commit 2f8c856

Please sign in to comment.