diff --git a/dune-project b/dune-project
index 8d3cd832..1c135252 100644
--- a/dune-project
+++ b/dune-project
@@ -206,8 +206,6 @@
   (ortac-core (= :version))
   (ortac-qcheck-stm (= :version))
   (ortac-dune (= :version))
-  (ortac-runtime (= :version))
-  (qcheck-stm :with-test)
   lwt-dllist
   (varray (>= 0.2))))
 
diff --git a/ortac-examples.opam b/ortac-examples.opam
index 520bad2e..5ef556ba 100644
--- a/ortac-examples.opam
+++ b/ortac-examples.opam
@@ -16,8 +16,6 @@ depends: [
   "ortac-core" {= version}
   "ortac-qcheck-stm" {= version}
   "ortac-dune" {= version}
-  "ortac-runtime" {= version}
-  "qcheck-stm" {with-test}
   "lwt-dllist"
   "varray" {>= "0.2"}
   "odoc" {with-doc}