Fix missing deps

mbarbin · Sep 29, 2024 · bcc8b80 · bcc8b80
1 parent 51145a2
commit bcc8b80
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/bopkit-tests.opam b/bopkit-tests.opam
@@ -16,6 +16,7 @@ depends: [
   "auto-format" {>= "0.0.13"}
   "base" {>= "v0.17" & < "v0.18"}
   "base_quickcheck" {>= "v0.17" & < "v0.18"}
+  "bopkit" {= version}
   "cmdlang" {>= "0.0.5"}
   "cmdlang-cmdliner-runner" {>= "0.0.5"}
   "cmdlang-to-cmdliner" {>= "0.0.5"}
@@ -49,8 +50,10 @@ depends: [
   "ppxlib" {>= "0.33"}
   "stdio" {>= "v0.17" & < "v0.18"}
   "stdune" {>= "3.16"}
+  "subleq" {= version}
   "tsdl" {= "1.0.0"}
   "tsdl-image" {>= "0.6"}
+  "visa" {= version}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/dune-project b/dune-project
@@ -372,6 +372,8 @@
    (and
     (>= v0.17)
     (< v0.18)))
+  (bopkit
+   (= :version))
   (cmdlang
    (>= 0.0.5))
   (cmdlang-cmdliner-runner
@@ -467,7 +469,11 @@
     (< v0.18)))
   (stdune
    (>= 3.16))
+  (subleq
+   (= :version))
   (tsdl
    (= 1.0.0))
   (tsdl-image
-   (>= 0.6))))
+   (>= 0.6))
+  (visa
+   (= :version))))