1 files changed, 2 insertions, 0 deletions

diff --git a/sol.opam b/sol.opam
index c2dc35f..fe4e55a 100644
--- a/sol.opam
+++ b/sol.opam
@@ -10,7 +10,9 @@ depends: [
   "dune" {>= "3.17"}
   "ocaml" {>= "5.1"}
   "zarith"
+  "yojson"
   "menhir" {build}
+  "coq" {build}
   "alcotest" {with-test}
   "odoc" {with-doc}
 ]