diff options
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 46754d99c..14a046c8f 100644 --- a/lockfile.json +++ b/lockfile.json @@ -1,6 +1,6 @@ { "ada": { - "revision": "e9e2ec9d3b6302e9b455901bec00036e29d1c121" + "revision": "42cc2eb141529b03a91c18ec8646a0a58fb111ba" }, "agda": { "revision": "80ea622cf952a0059e168e5c92a798b2f1925652" |