diff options
| -rw-r--r-- | lockfile.json | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json index 8aaf0c8c6..5466d2a09 100644 --- a/lockfile.json +++ b/lockfile.json @@ -324,7 +324,7 @@ "revision": "6858695eba0e63b9e0fceef081d291eb352abce8" }, "idl": { - "revision": "be067aa6146d88ac7b6276f72fc22a681f744ccb" + "revision": "3e6c8bbdb5b3485f8a50d951040a6d80c70a97b0" }, "ini": { "revision": "87176e524f0a98f5be75fa44f4f0ff5c6eac069c" @@ -387,7 +387,7 @@ "revision": "854a40e99f7c70258e522bdb8ab584ede6196e2e" }, "latex": { - "revision": "d018f2e6620bbaee229cb31fc8b67fabd713d770" + "revision": "12523bd1ffd2c428b2dad177e2b4555574d90973" }, "ledger": { "revision": "8a841fb20ce683bfbb3469e6ba67f2851cfdf94a" |