diff options
| -rw-r--r-- | lockfile.json | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json index 9881176ad..580774b36 100644 --- a/lockfile.json +++ b/lockfile.json @@ -1,6 +1,6 @@ { "ada": { - "revision": "a1e54e4e0347db6a37099822181e5cdf0d180198" + "revision": "ba0894efa03beb70780156b91e28c716b7a4764d" }, "agda": { "revision": "c21c3a0f996363ed17b8ac99d827fe5a4821f217" @@ -546,7 +546,7 @@ "revision": "3ba9eb9b5a47aadb1f2356a3cab0dd3d2bd00b4b" }, "ruby": { - "revision": "1ba5af1bf41b09c7c0d2630700ba593635581811" + "revision": "4d9ad3f010fdc47a8433adcf9ae30c8eb8475ae7" }, "rust": { "revision": "79456e6080f50fc1ca7c21845794308fa5d35a51" |