diff --git a/charon.opam b/charon.opam
index 9fb39776..1401f1d5 100644
--- a/charon.opam
+++ b/charon.opam
@@ -15,6 +15,12 @@ homepage: "https://github.com/AeneasVerif/charon"
 bug-reports: "https://github.com/AeneasVerif/charon/issues"
 depends: [
   "dune" {>= "3.7"}
+  "easy_logging"
+  "ppx_deriving"
+  "visitors"
+  "yojson"
+  "zarith"
+  "name_matcher_parser"
   "odoc" {with-doc}
 ]
 build: [
diff --git a/dune-project b/dune-project
index 12b5c218..60b9a83f 100644
--- a/dune-project
+++ b/dune-project
@@ -29,9 +29,26 @@
    This library allows for manipulation of LLBC, the language output by
    Charon. Charon acts as an interface between the rustc compiler and program
    verification projects.  Its purpose is to process Rust .rs files and convert
-   them into files easy to handle by program verifiers."))
+   them into files easy to handle by program verifiers.")
+ (depends
+   easy_logging
+   ppx_deriving
+   visitors
+   yojson
+   zarith
+   name_matcher_parser
+ )
+)
 
 (package
  (name name_matcher_parser)
  (synopsis "Parser to define name matchers")
- (description ""))
\ No newline at end of file
+ (description "")
+ (depends
+   (menhir :build)
+   menhirLib
+   ppx_deriving
+   visitors
+   zarith
+ )
+)
diff --git a/name_matcher_parser.opam b/name_matcher_parser.opam
index 74c95fa1..2593df0a 100644
--- a/name_matcher_parser.opam
+++ b/name_matcher_parser.opam
@@ -9,6 +9,11 @@ homepage: "https://github.com/AeneasVerif/charon"
 bug-reports: "https://github.com/AeneasVerif/charon/issues"
 depends: [
   "dune" {>= "3.7"}
+  "menhir" {build}
+  "menhirLib"
+  "ppx_deriving"
+  "visitors"
+  "zarith"
   "odoc" {with-doc}
 ]
 build: [