diff --git a/repos.json.lock b/repos.json.lock
index 5547bbc39..01b83cce9 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -751,8 +751,8 @@
             "url": "https://github.com/pniedzwiedzinski/pnpkgs"
         },
         "polykernel": {
-            "rev": "122376dfc75baf5694e857479ce75113a3b2e512",
-            "sha256": "1x1prxaxl0agv2q5idph76ib3gc42zklv1fdj4hynnjzf216wdrm",
+            "rev": "13a375067dcd6a5a79d6beb2c6923cd38921affc",
+            "sha256": "1a753gfpjh1xim8lfnn0q54p98d484cc92yavh2x5ylfnnrwvwzx",
             "url": "https://github.com/polykernel/nur-packages"
         },
         "priegger": {