Update lockfile.json

This commit is contained in:
GitHub 2022-08-16 18:50:46 +00:00 committed by Stephan Seitz
parent 7e596c4adf
commit 826c951825

View file

@ -1,4 +1,7 @@
{
"agda": {
"revision": "80ea622cf952a0059e168e5c92a798b2f1925652"
},
"astro": {
"revision": "ec0f9f945a08372952403f736a1f783d1679b0ac"
},