diff --git a/coq_of_rust/extensions.bzl b/coq_of_rust/extensions.bzl
index e370b02..ea4e3c1 100644
--- a/coq_of_rust/extensions.bzl
+++ b/coq_of_rust/extensions.bzl
@@ -4,8 +4,6 @@ Basic extension framework for coq-of-rust toolchain configuration.
 This will be enhanced as the implementation matures.
 """
 
-load("@bazel_features//:features.bzl", "bazel_features")
-
 # Basic tag class for coq-of-rust configuration
 _CoqOfRustToolchainTag = tag_class(
     doc = "Tags for defining coq-of-rust toolchains",
diff --git a/toolchains/ocaml_extensions.bzl b/toolchains/ocaml_extensions.bzl
index b568879..bc19d66 100644
--- a/toolchains/ocaml_extensions.bzl
+++ b/toolchains/ocaml_extensions.bzl
@@ -4,8 +4,7 @@ This provides OCaml toolchain setup for users who need QuickChick
 or other OCaml-based Coq plugins.
 """
 
-load("@bazel_features//:features.bzl", "bazel_features")
-load("//:toolchains/ocaml_toolchain.bzl", "ocaml_toolchain_repository")
+load("//toolchains:ocaml_toolchain.bzl", "ocaml_toolchain_repository")
 
 # Tag classes for OCaml toolchain configuration
 _OcamlToolchainTag = tag_class(
@@ -51,12 +50,8 @@ def _ocaml_impl(module_ctx):
             strategy = "download",
         )
     
-    # Return extension metadata
-    metadata_kwargs = {}
-    if bazel_features.external_deps.extension_metadata_has_reproducible:
-        metadata_kwargs["reproducible"] = True
-    
-    return module_ctx.extension_metadata(**metadata_kwargs)
+    # Return extension metadata (reproducible for caching)
+    return module_ctx.extension_metadata(reproducible = True)
 
 # OCaml module extension
 ocaml = module_extension(