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"