diff --git a/src/proto_008_PtEdo2Zk/lib_protocol/coq-of-ocaml/config.json b/src/proto_008_PtEdo2Zk/lib_protocol/coq-of-ocaml/config.json
index ded4f89dfcd2d1d39ed0aec6ad43015c7dfad17d..6be5fad9b9d5a61f44648c127e18e691623647ec 100644
--- a/src/proto_008_PtEdo2Zk/lib_protocol/coq-of-ocaml/config.json
+++ b/src/proto_008_PtEdo2Zk/lib_protocol/coq-of-ocaml/config.json
@@ -1,6 +1,6 @@
 {
   "alias_barrier_modules": [
-    "Tezos_protocol_environment_alpha__Environment"
+    "Tezos_protocol_environment_008_PtEdo2Zk__Environment"
   ],
   "constructor_map": [
     ["public_key_hash", "Ed25519", "Ed25519Hash"],
@@ -90,13 +90,13 @@
     ["Error_monad.op_gtgtquestion", "let?"]
   ],
   "require": [
-    ["Tezos_raw_protocol_008_PtEdo2Zk", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_raw_protocol_008_PtEdo2Zk", "TezosOfOCaml.Proto_008_PtEdo2Zk"]
   ],
   "require_import": [
-    ["Tezos_protocol_environment_alpha", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_protocol_environment_008_PtEdo2Zk", "TezosOfOCaml.Proto_008_PtEdo2Zk"]
   ],
   "require_long_ident": [
-    ["Storage_description", "TezosOfOCaml.Proto_alpha"]
+    ["Storage_description", "TezosOfOCaml.Proto_008_PtEdo2Zk"]
   ],
   "require_mli": [
     "Storage",
diff --git a/src/proto_009_PsFLoren/lib_protocol/coq-of-ocaml/config.json b/src/proto_009_PsFLoren/lib_protocol/coq-of-ocaml/config.json
index 60d5c932ef577fd31b143b5d0a12655f4c4593a1..45231d0d68d5e14b87f62640bc1197f9101e1605 100644
--- a/src/proto_009_PsFLoren/lib_protocol/coq-of-ocaml/config.json
+++ b/src/proto_009_PsFLoren/lib_protocol/coq-of-ocaml/config.json
@@ -1,6 +1,6 @@
 {
   "alias_barrier_modules": [
-    "Tezos_protocol_environment_alpha__Environment"
+    "Tezos_protocol_environment_009_PsFLoren__Environment"
   ],
   "constructor_map": [
     ["public_key_hash", "Ed25519", "Ed25519Hash"],
@@ -82,13 +82,13 @@
     ["Error_monad.op_gtgtquestion", "let?"]
   ],
   "require": [
-    ["Tezos_raw_protocol_009_PsFLoren", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_raw_protocol_009_PsFLoren", "TezosOfOCaml.Proto_009_PsFLoren"]
   ],
   "require_import": [
-    ["Tezos_protocol_environment_alpha", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_protocol_environment_009_PsFLoren", "TezosOfOCaml.Proto_009_PsFLoren"]
   ],
   "require_long_ident": [
-    ["Storage_description", "TezosOfOCaml.Proto_alpha"]
+    ["Storage_description", "TezosOfOCaml.Proto_009_PsFLoren"]
   ],
   "require_mli": [
     "Storage",
diff --git a/src/proto_010_PtGRANAD/lib_protocol/coq-of-ocaml/config.json b/src/proto_010_PtGRANAD/lib_protocol/coq-of-ocaml/config.json
index ddff7ebd7b7c5df78f26ac3ca032997e1762395f..5fdccd08e479b1f83ea3f58bc8f6eab284ec5c5f 100644
--- a/src/proto_010_PtGRANAD/lib_protocol/coq-of-ocaml/config.json
+++ b/src/proto_010_PtGRANAD/lib_protocol/coq-of-ocaml/config.json
@@ -1,6 +1,6 @@
 {
   "alias_barrier_modules": [
-    "Tezos_protocol_environment_alpha__Environment"
+    "Tezos_protocol_environment_010_PtGRANAD__Environment"
   ],
   "constant_warning": false,
   "constructor_map": [
@@ -87,13 +87,13 @@
   ],
   "first_class_module_path_blacklist": [
     "Tezos_raw_protocol_010_PtGRANAD",
-    "Tezos_protocol_environment_alpha.Environment",
-    "Tezos_protocol_environment_alpha.Environment.Sapling"
+    "Tezos_protocol_environment_010_PtGRANAD.Environment",
+    "Tezos_protocol_environment_010_PtGRANAD.Environment.Sapling"
   ],
   "first_class_module_signature_blacklist": [
     "Tezos_sapling__Core_sig.T_encoding",
-    "Tezos_protocol_environment_alpha__Environment.Map.OrderedType",
-    "Tezos_protocol_environment_alpha__Environment.Set.OrderedType",
+    "Tezos_protocol_environment_010_PtGRANAD__Environment.Map.OrderedType",
+    "Tezos_protocol_environment_010_PtGRANAD__Environment.Set.OrderedType",
     "Tezos_raw_protocol_010_PtGRANAD__Raw_context.T",
     "Environment_context.TREE"
   ],
@@ -190,13 +190,13 @@
     ["Compare.Z.(Compare.S.t)", "Z.t"]
   ],
   "require": [
-    ["Tezos_raw_protocol_010_PtGRANAD", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_raw_protocol_010_PtGRANAD", "TezosOfOCaml.Proto_010_PtGRANAD"]
   ],
   "require_import": [
-    ["Tezos_protocol_environment_alpha", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_protocol_environment_010_PtGRANAD", "TezosOfOCaml.Proto_010_PtGRANAD"]
   ],
   "require_long_ident": [
-    ["Storage_description", "TezosOfOCaml.Proto_alpha"]
+    ["Storage_description", "TezosOfOCaml.Proto_010_PtGRANAD"]
   ],
   "require_mli": [
   ],
diff --git a/src/proto_011_PtHangz2/lib_protocol/coq-of-ocaml/config.json b/src/proto_011_PtHangz2/lib_protocol/coq-of-ocaml/config.json
index cec7ea51e14d1b4b60b664d535932efe0fa7c699..3fa743ee887881e945848878f2ad1ec7e6e4b710 100644
--- a/src/proto_011_PtHangz2/lib_protocol/coq-of-ocaml/config.json
+++ b/src/proto_011_PtHangz2/lib_protocol/coq-of-ocaml/config.json
@@ -1,6 +1,6 @@
 {
   "alias_barrier_modules": [
-    "Tezos_protocol_environment_alpha__Environment"
+    "Tezos_protocol_environment_011_PtHangz2__Environment"
   ],
   "constant_warning": false,
   "constructor_map": [
@@ -89,13 +89,13 @@
   ],
   "first_class_module_path_blacklist": [
     "Tezos_raw_protocol_011_PtHangz2",
-    "Tezos_protocol_environment_alpha.Environment",
-    "Tezos_protocol_environment_alpha.Environment.Sapling"
+    "Tezos_protocol_environment_011_PtHangz2.Environment",
+    "Tezos_protocol_environment_011_PtHangz2.Environment.Sapling"
   ],
   "first_class_module_signature_blacklist": [
     "Tezos_sapling__Core_sig.T_encoding",
-    "Tezos_protocol_environment_alpha__Environment.Map.OrderedType",
-    "Tezos_protocol_environment_alpha__Environment.Set.OrderedType",
+    "Tezos_protocol_environment_011_PtHangz2__Environment.Map.OrderedType",
+    "Tezos_protocol_environment_011_PtHangz2__Environment.Set.OrderedType",
     "Tezos_raw_protocol_011_PtHangz2__Raw_context.T",
     "Environment_context.TREE"
   ],
@@ -192,13 +192,13 @@
     ["Compare.Z.(Compare.S.t)", "Z.t"]
   ],
   "require": [
-    ["Tezos_raw_protocol_011_PtHangz2", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_raw_protocol_011_PtHangz2", "TezosOfOCaml.Proto_011_PtHangz2"]
   ],
   "require_import": [
-    ["Tezos_protocol_environment_alpha", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_protocol_environment_011_PtHangz2", "TezosOfOCaml.Proto_011_PtHangz2"]
   ],
   "require_long_ident": [
-    ["Storage_description", "TezosOfOCaml.Proto_alpha"]
+    ["Storage_description", "TezosOfOCaml.Proto_011_PtHangz2"]
   ],
   "require_mli": [
   ],
diff --git a/src/proto_012_Psithaca/lib_protocol/coq-of-ocaml/config.json b/src/proto_012_Psithaca/lib_protocol/coq-of-ocaml/config.json
index 4a89eaa686dda2d098c72d20ad53215bfd4ae053..f3b0ae7028ab2598a3f11826ac0d786e75509c61 100644
--- a/src/proto_012_Psithaca/lib_protocol/coq-of-ocaml/config.json
+++ b/src/proto_012_Psithaca/lib_protocol/coq-of-ocaml/config.json
@@ -1,6 +1,6 @@
 {
   "alias_barrier_modules": [
-    "Tezos_protocol_environment_alpha__Environment"
+    "Tezos_protocol_environment_012_Psithaca__Environment"
   ],
   "constant_warning": false,
   "constructor_map": [
@@ -92,13 +92,13 @@
   ],
   "first_class_module_path_blacklist": [
     "Tezos_raw_protocol_012_Psithaca",
-    "Tezos_protocol_environment_alpha.Environment",
-    "Tezos_protocol_environment_alpha.Environment.Sapling"
+    "Tezos_protocol_environment_012_Psithaca.Environment",
+    "Tezos_protocol_environment_012_Psithaca.Environment.Sapling"
   ],
   "first_class_module_signature_blacklist": [
     "Environment_context.TREE",
-    "Tezos_protocol_environment_alpha__Environment.Map.OrderedType",
-    "Tezos_protocol_environment_alpha__Environment.Set.OrderedType",
+    "Tezos_protocol_environment_012_Psithaca__Environment.Map.OrderedType",
+    "Tezos_protocol_environment_012_Psithaca__Environment.Set.OrderedType",
     "Tezos_raw_protocol_012_Psithaca__Raw_context.T",
     "Tezos_raw_protocol_012_Psithaca.Alpha_context.Cache.CLIENT",
     "Tezos_raw_protocol_012_Psithaca.Alpha_context.Cache.INTERFACE",
@@ -197,13 +197,13 @@
     ["Compare.Z.(Compare.S.t)", "Z.t"]
   ],
   "require": [
-    ["Tezos_raw_protocol_012_Psithaca", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_raw_protocol_012_Psithaca", "TezosOfOCaml.Proto_012_Psithaca"]
   ],
   "require_import": [
-    ["Tezos_protocol_environment_alpha", "TezosOfOCaml.Proto_alpha"]
+    ["Tezos_protocol_environment_012_Psithaca", "TezosOfOCaml.Proto_012_Psithaca"]
   ],
   "require_long_ident": [
-    ["Storage_description", "TezosOfOCaml.Proto_alpha"]
+    ["Storage_description", "TezosOfOCaml.Proto_012_Psithaca"]
   ],
   "require_mli": [
   ],