Remove transitive dependencies for ortac-examples

n-osborne · Jul 29, 2024 · 90b0edb · 90b0edb
1 parent afa0e81
commit 90b0edb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git 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
@@ -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}