diff options
| -rw-r--r-- | lockfile.json | 4 |
1 files 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" |