diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
index 032b41eb9..29425619e 100644
--- a/alt-ergo-lib.opam
+++ b/alt-ergo-lib.opam
@@ -27,7 +27,6 @@ depends: [
   "stdlib-shims"
   "ppx_blob" {>= "0.7.2"}
   "ppx_deriving"
-  "camlzip" {>= "1.07"}
   "odoc" {with-doc}
   "ppx_deriving"
   "qcheck" {with-test & = "0.22"}
diff --git a/alt-ergo.opam b/alt-ergo.opam
index 2ea5f7f29..75960be1a 100644
--- a/alt-ergo.opam
+++ b/alt-ergo.opam
@@ -15,10 +15,10 @@ depends: [
   "ocaml" {>= "4.08.1"}
   "dune" {>= "3.14"}
   "alt-ergo-lib" {= version}
-  "menhir"
   "dune-site"
   "cmdliner" {>= "1.1.0"}
   "odoc" {with-doc}
+  "camlzip" {>= "1.07"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/dune-project b/dune-project
index 141f6a106..471e53844 100644
--- a/dune-project
+++ b/dune-project
@@ -28,10 +28,10 @@ See more details on https://alt-ergo.ocamlpro.com/")
   (ocaml (>= 4.08.1))
   dune
   (alt-ergo-lib (= :version))
-  menhir
   dune-site
   (cmdliner (>= 1.1.0))
   (odoc :with-doc)
+  (camlzip (>= 1.07))
  )
 
  (sites (share preludes) (lib plugins))
@@ -63,7 +63,6 @@ See more details on http://alt-ergo.ocamlpro.com/"
   stdlib-shims
   (ppx_blob (>= 0.7.2))
   ppx_deriving
-  (camlzip (>= 1.07))
   (odoc :with-doc)
   ppx_deriving
   (qcheck (and :with-test (= 0.22)))
diff --git a/shell.nix b/shell.nix
index d5deacf49..2347877c5 100644
--- a/shell.nix
+++ b/shell.nix
@@ -42,5 +42,6 @@ pkgs.mkShell {
     landmarks
     landmarks-ppx
     qcheck
+    utop
   ];
 }
diff --git a/src/bin/common/dune b/src/bin/common/dune
index fd37c5ce6..aa5dd079c 100644
--- a/src/bin/common/dune
+++ b/src/bin/common/dune
@@ -12,6 +12,7 @@
    cmdliner
    dune-site
    dune-site.plugins
+   camlzip
  )
  (modules
    Config
diff --git a/src/lib/dune b/src/lib/dune
index e52cecaf5..33d07d55b 100644
--- a/src/lib/dune
+++ b/src/lib/dune
@@ -17,7 +17,6 @@
     dynlink
     ocplib-simplex
     stdlib-shims
-    camlzip
     dolmen
     dolmen_type
     dolmen_loop