diff --git a/gillian.json b/gillian.json
index 0bb34b4a..5ca1f0c3 100644
--- a/gillian.json
+++ b/gillian.json
@@ -14,11 +14,10 @@
     "@opam/fmt": "^0.8.8",
     "@opam/dune": "^3.0",
     "@opam/memtrace": "0.2.3",
-    "@opam/menhir": "20220210",
+    "@opam/menhir": "20231231",
     "@opam/ppx_deriving_yojson": "*",
     "@opam/ppxlib": ">=0.18.0",
     "@opam/sqlite3": "5.0.2",
-    "@opam/uuidm": "0.9.7",
     "@opam/visitors": ">=2.3",
     "@opam/yojson": "^1.7.0",
     "@opam/zarith": ">=1.12",