diff --git a/flake.lock b/flake.lock
index 053c9dd..a60c658 100644
--- a/flake.lock
+++ b/flake.lock
@@ -10,11 +10,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1712926993,
-        "narHash": "sha256-FGCYpADC63sEFZV7aDmZduFu/2lJXHKHJ4Q6p3JjH/o=",
+        "lastModified": 1727184087,
+        "narHash": "sha256-tFhF8TzmoXeO655ruVhI8DZC4e3r0NtRnZuKvwZ7eFI=",
         "owner": "agda",
         "repo": "agda2hs",
-        "rev": "83ce549d318825c4b5637b8630b447f7ddd5df3c",
+        "rev": "80734767d3c1f73037e3d6246d3d2879b65e6801",
         "type": "github"
       },
       "original": {
@@ -28,11 +28,11 @@
         "systems": "systems"
       },
       "locked": {
-        "lastModified": 1710146030,
-        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
+        "lastModified": 1726560853,
+        "narHash": "sha256-X6rJYSESBVr3hBoH0WbKE5KvhPU5bloyZ2L4K60/fPQ=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
+        "rev": "c1dfcf08411b08f6b8615f7d8971a2bfa81d5e8a",
         "type": "github"
       },
       "original": {
@@ -43,11 +43,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1711555466,
-        "narHash": "sha256-9dFqku75mJxShvJRUz1malF9ogscavI5YoLXLW/7zDw=",
+        "lastModified": 1727184149,
+        "narHash": "sha256-8SU2mUCu04YWoBbCjhXsC0bPG0d5IrNAdGLdSbt9pkA=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "9b1984ce3648bf9479a67820876d72700c3faa4f",
+        "rev": "dcfdb366661e4ac4b4d209fe0a412000deb9f61f",
         "type": "github"
       },
       "original": {