Update parsers: agda, wing

This commit is contained in:
GitHub 2023-09-18 06:37:03 +00:00 committed by Christian Clason
parent c0170e1e2c
commit 6f3f89a6dd

View file

@ -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"