diff --git a/packages/ortac-dune/ortac-dune.0.4.0/opam b/packages/ortac-dune/ortac-dune.0.4.0/opam
index 00ed954ca4b..c09bad5173d 100644
--- a/packages/ortac-dune/ortac-dune.0.4.0/opam
+++ b/packages/ortac-dune/ortac-dune.0.4.0/opam
@@ -13,7 +13,7 @@ depends: [
   "fmt"
   "cmdliner" {>= "1.1.0"}
   "ortac-core" {= version}
-  "ortac-qcheck-stm" {with-test}
+  "ortac-qcheck-stm" {with-test & = version}
   "odoc" {with-doc}
 ]
 build: [