From 6f3f89a6dded8f89ddf6e32bbd88efcb9d7c0dce Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Mon, 18 Sep 2023 06:37:03 +0000
Subject: Update parsers: agda, wing

---
 lockfile.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lockfile.json b/lockfile.json
index 9f35244de..03f6603c5 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -3,7 +3,7 @@
     "revision": "f21f13afe0410311be1f78959a25aee393c569c9"
   },
   "agda": {
-    "revision": "eb2687164a4d98eb16bfaee3880afa81ff498d97"
+    "revision": "c21c3a0f996363ed17b8ac99d827fe5a4821f217"
   },
   "apex": {
     "revision": "e63bcdcc26ae808b3fe79dfb8fa61bebdb95bda4"
@@ -648,7 +648,7 @@
     "revision": "a041228ae64632f59b9bd37346a0dbcb7817f36b"
   },
   "wing": {
-    "revision": "430ec7527a3eee00719ce9735854177629410f63"
+    "revision": "e505e47416e2ffef17e1e77eb4b92ac6c6b7320b"
   },
   "xml": {
     "revision": "9deacbfb79cb3527a0396255beb17e1bba3f2052"
-- 
cgit v1.3.1