deps

EasyCrypt · Aug 23, 2024 · 54ed6a0 · 54ed6a0
1 parent 5884f7d
commit 54ed6a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -14,6 +14,7 @@
  (depends
   (ocaml (>= 4.08.0))
   (batteries (>= 3))
+  bitwuzla
   (camlp-streams (>= 5))
   camlzip
   cmdliner