diff --git a/flake.lock b/flake.lock
index 66e4183..2d3c7f7 100644
--- a/flake.lock
+++ b/flake.lock
@@ -569,11 +569,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1660774921,
-        "narHash": "sha256-7xbw0rnQ6BFjiQvxWTkwmmSs3slSwbfKyuz4TGlOlas=",
+        "lastModified": 1676154915,
+        "narHash": "sha256-yr1x/ACiYBSdLo7ZKEay8vZCwhg0g9uKhJRSoiZG1wU=",
         "ref": "main",
-        "rev": "d0311bbca54352b45079a42e90fa292fc3748961",
-        "revCount": 11,
+        "rev": "8428d0dd068ba675473297e52a679722cb976398",
+        "revCount": 13,
         "type": "git",
         "url": "https://git.rhiannon.website/rhi/idris2-tap"
       },