diff options
| author | GitHub <noreply@github.com> | 2022-08-16 18:50:46 +0000 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-08-16 11:58:53 -0700 |
| commit | 826c951825e94dd57decfbb2dd85781ff4dfc712 (patch) | |
| tree | 75ab50b0db1faab1d3ddcbfd9ae21704bcc3b173 /lockfile.json | |
| parent | 7e596c4adf2d13a139b3121e89440332b3d2eff4 (diff) | |
Update lockfile.json
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 3 |
1 files changed, 3 insertions, 0 deletions
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" }, |