From 826c951825e94dd57decfbb2dd85781ff4dfc712 Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Tue, 16 Aug 2022 18:50:46 +0000
Subject: Update lockfile.json

---
 lockfile.json | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lockfile.json')

diff --git a/lockfile.json b/lockfile.json
index 5bce4b87..6a565ea7 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -1,4 +1,7 @@
 {
+  "agda": {
+    "revision": "80ea622cf952a0059e168e5c92a798b2f1925652"
+  },
   "astro": {
     "revision": "ec0f9f945a08372952403f736a1f783d1679b0ac"
   },
-- 
cgit v1.2.3