diff --git a/script/release_repos.yml b/script/release_repos.yml
index 8eca6bc538..3cb68e6765 100644
--- a/script/release_repos.yml
+++ b/script/release_repos.yml
@@ -77,8 +77,7 @@ repositories:
     toolchain-tag: false
     stable-branch: false
     branch: main
-    dependencies:
-      - batteries
+    dependencies: []
 
   - name: aesop
     url: https://github.com/leanprover-community/aesop