build: opam dependencies

OCamlPro · Sep 24, 2024 · e3d0de5 · e3d0de5
1 parent af8193e
commit e3d0de5
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -30,7 +30,7 @@ depends: [
   "camlzip" {>= "1.07"}
   "odoc" {with-doc}
   "ppx_deriving"
-  "qcheck" {with-test}
+  "qcheck" {with-test & = "0.22"}
 ]
 conflicts: [
   "ppxlib" {< "0.30.0"}

diff --git a/alt-ergo-plugin-ab-why3.opam b/alt-ergo-plugin-ab-why3.opam
@@ -41,4 +41,4 @@ dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 # alt-ergo-plugin-ab-why3.opam.template and not alt-ergo-plugin-ab-why3.opam
 # which is generated by dune
 
-conflicts: [ "opam-option-bytecode-only" ]
+conflicts: [ "ocaml-option-bytecode-only" ]
diff --git a/alt-ergo-plugin-ab-why3.opam.template b/alt-ergo-plugin-ab-why3.opam.template
@@ -2,4 +2,4 @@
 # alt-ergo-plugin-ab-why3.opam.template and not alt-ergo-plugin-ab-why3.opam
 # which is generated by dune
 
-conflicts: [ "opam-option-bytecode-only" ]
+conflicts: [ "ocaml-option-bytecode-only" ]
diff --git a/dune-project b/dune-project
@@ -90,7 +90,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
   (camlzip (>= 1.07))
   (odoc :with-doc)
   ppx_deriving
-  (qcheck :with-test)
+  (qcheck (and :with-test (= 0.22)))
  )
  (conflicts
   (ppxlib (< 0.30.0))