From 7102b5e2015c0929bc170c9e890e9ceca3f15039 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Wed, 31 Jan 2024 17:14:11 +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-src':
    'github:agda/agda2hs/04f48a2bd7442699b7a15fd0e9a771c5a60ba67e' (2024-01-19)
  → 'github:agda/agda2hs/48aacea0b9adc548c47fd46b9addd6b84e3a5272' (2024-01-24)
• Updated input 'scope-src':
    'github:jespercockx/scope/e8cf47b70b3fed58bf3a925b88f6e0f9e0a25b3a' (2024-01-17)
  → 'github:jespercockx/scope/1feca23446eccfde04506d51719b587150bc5c3d' (2024-01-31)
---
 flake.lock | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/flake.lock b/flake.lock
index 96e4c4b..56611c8 100644
--- a/flake.lock
+++ b/flake.lock
@@ -3,11 +3,11 @@
     "agda2hs-src": {
       "flake": false,
       "locked": {
-        "lastModified": 1705678730,
-        "narHash": "sha256-P3NX2Q4b4wZY1eS7Ga48PVFbhpQuJNz+ROAigolNBF0=",
+        "lastModified": 1706098014,
+        "narHash": "sha256-Lz6d5v1ni3UQ2cpXH9GpjC/u2BkBGrsaoJnuqy2a2V8=",
         "owner": "agda",
         "repo": "agda2hs",
-        "rev": "04f48a2bd7442699b7a15fd0e9a771c5a60ba67e",
+        "rev": "48aacea0b9adc548c47fd46b9addd6b84e3a5272",
         "type": "github"
       },
       "original": {
@@ -61,11 +61,11 @@
     "scope-src": {
       "flake": false,
       "locked": {
-        "lastModified": 1705512409,
-        "narHash": "sha256-1J4h1/JuAGTVrqjbLTct2WYYjXPQtGyfOAe4WVhCJOE=",
+        "lastModified": 1706721181,
+        "narHash": "sha256-OVVW3TzZBaW6LBnSKen/DupMWFgGBUHaaANTbEw0zqg=",
         "owner": "jespercockx",
         "repo": "scope",
-        "rev": "e8cf47b70b3fed58bf3a925b88f6e0f9e0a25b3a",
+        "rev": "1feca23446eccfde04506d51719b587150bc5c3d",
         "type": "github"
       },
       "original": {