From 31d8b50a7a6d290d75ca66356636f54bb60b337d Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Tue, 10 Sep 2024 15:17:29 +0000
Subject: [PATCH] flake.lock: Update
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Flake lock file updates:

• Updated input 'agda2hs':
    'github:agda/agda2hs/600885f9d32e8c8e5aeb4b1bce4fe9553f77726c?narHash=sha256-FGCYpADC63sEFZV7aDmZduFu/2lJXHKHJ4Q6p3JjH/o%3D' (2024-04-12)
  → 'github:agda/agda2hs/03c9aae0e0b868f4cc1d978d6413d76a084f62e3?narHash=sha256-o0YelZ%2BByve04cOAsdgX%2BlDsJxVEj81PC1B37RkHFhc%3D' (2024-09-07)
• Updated input 'scope':
    'github:jespercockx/scope/48dc91d8db5b70850d79f96a6412c62a4377302d?narHash=sha256-mJtBYsjveRMqGHBMeKfqr1NrFo0iLVT51jWOEh89tHE%3D' (2024-04-17)
  → 'github:jespercockx/scope/c0a1f412d4a00d4952eb3dc846716a7d0128a49b?narHash=sha256-AeD/60ZtC7WI/lGsOeptRu17Hp9bK8pljPDU%2B0viXUk%3D' (2024-07-27)
---
 flake.lock | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/flake.lock b/flake.lock
index c552f72..0f0fb9e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1712926993,
-        "narHash": "sha256-FGCYpADC63sEFZV7aDmZduFu/2lJXHKHJ4Q6p3JjH/o=",
+        "lastModified": 1725711269,
+        "narHash": "sha256-o0YelZ+Byve04cOAsdgX+lDsJxVEj81PC1B37RkHFhc=",
         "owner": "agda",
         "repo": "agda2hs",
-        "rev": "600885f9d32e8c8e5aeb4b1bce4fe9553f77726c",
+        "rev": "03c9aae0e0b868f4cc1d978d6413d76a084f62e3",
         "type": "github"
       },
       "original": {
@@ -110,11 +110,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1713349448,
-        "narHash": "sha256-mJtBYsjveRMqGHBMeKfqr1NrFo0iLVT51jWOEh89tHE=",
+        "lastModified": 1722104452,
+        "narHash": "sha256-AeD/60ZtC7WI/lGsOeptRu17Hp9bK8pljPDU+0viXUk=",
         "owner": "jespercockx",
         "repo": "scope",
-        "rev": "48dc91d8db5b70850d79f96a6412c62a4377302d",
+        "rev": "c0a1f412d4a00d4952eb3dc846716a7d0128a49b",
         "type": "github"
       },
       "original": {