Define qcheck-core dependency in opam packages

Signed-off-by: Edwin Török <[email protected]>
xapi-project · Jun 12, 2024 · d5f1825 · d5f1825
1 parent 690a53a
commit d5f1825
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/sexpr.opam.template b/sexpr.opam.template
@@ -11,6 +11,7 @@ depends: [
   "ocaml"
   "dune"
   "astring"
+  "qcheck-core" {with-test}
   "xapi-stdext-threads"
 ]
 synopsis: "Library required by xapi"

diff --git a/wsproxy.opam b/wsproxy.opam
@@ -22,7 +22,7 @@ depends: [
   "re"
   "uuid"
   "ounit2" {with-test}
-  "qcheck" {with-test}
+  "qcheck-core" {with-test}
 ]
 tags: [ "org:xapi-project" ]
 synopsis: "Websockets proxy for VNC traffic"

diff --git a/wsproxy.opam.template b/wsproxy.opam.template
@@ -20,7 +20,7 @@ depends: [
   "re"
   "uuid"
   "ounit2" {with-test}
-  "qcheck" {with-test}
+  "qcheck-core" {with-test}
 ]
 tags: [ "org:xapi-project" ]
 synopsis: "Websockets proxy for VNC traffic"