diff options
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 998a1a497..b03afb585 100644 --- a/lockfile.json +++ b/lockfile.json @@ -1,4 +1,7 @@ { + "ada": { + "revision": "0210164cce71a6b6010ab24fb4fe77693469db14" + }, "agda": { "revision": "80ea622cf952a0059e168e5c92a798b2f1925652" }, |