opam: Add missing dependencies

GuillaumeGen · Jun 16, 2022 · 15d1dd5 · 15d1dd5
1 parent a704208
commit 15d1dd5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/dedukti.opam b/dedukti.opam
@@ -12,6 +12,7 @@ depends: [
   "ocaml" {>= "4.08"}
   "cmdliner" {>= "1.1.0"}
   "menhir"
+  "tezt" {>= "2.0"} {with-test}  
 ]
 build: [
   ["dune" "subst"] {pinned}

diff --git a/universo.opam b/universo.opam
@@ -8,6 +8,7 @@ bug-reports: "https://github.com/Deducteam/Dedukti/issues"
 depends: [
   "dune" {>= "2.0"}
   "z3"
+  "tezt" {>= "2.0"} {with-test}
 ]
 build: [
   ["dune" "subst"] {pinned}