diff --git a/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json b/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json
index a064cb2785fe35cb22ff57794f5647a9551dc758..6fa0f29dc5b6edc3bd3a6003ef5b9d646e63f81f 100644
--- a/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json
+++ b/src/proto_alpha/lib_protocol/coq-of-ocaml/config.json
@@ -17,25 +17,16 @@
     "contract_hash.ml",
     "contract_repr.ml",
     "helpers_services.ml",
-    "lazy_storage_diff.ml",
     "lazy_storage_kind.ml",
     "level_repr.ml",
     "main.mli",
-    "michelson_v1_gas.ml",
     "misc.ml",
     "nonce_hash.ml",
-    "raw_context.ml",
-    "raw_context.mli",
-    "raw_level_repr.ml",
     "script_expr_hash.ml",
-    "script_interpreter.ml",
     "script_ir_translator.ml",
     "state_hash.ml",
     "storage_functors.ml",
-    "storage_functors.mli",
     "storage.ml",
-    "storage_sigs.ml",
-    "tez_repr.ml",
     "voting_period_repr.ml"
   ],
   "error_message_blacklist": [
diff --git a/src/tooling/tezos-tooling.opam b/src/tooling/tezos-tooling.opam
index e698884910df6f4bf8c0cc28de4485f70bf604b5..f2414046691fb8602d07d943ce598548cd4b8d40 100644
--- a/src/tooling/tezos-tooling.opam
+++ b/src/tooling/tezos-tooling.opam
@@ -6,7 +6,7 @@ bug-reports: "https://gitlab.com/tezos/tezos/issues"
 dev-repo: "git+https://gitlab.com/tezos/tezos.git"
 license: "MIT"
 depends: [
-  "coq-of-ocaml" { = "2.2.1" }
+  "coq-of-ocaml" { = "2.3.0" }
   "dune" { >= "2.0" }
   "ocamlformat" { = "0.10" }
   "bisect_ppx" { >= "2.3" }