diff options
| author | GitHub <noreply@github.com> | 2022-06-14 20:41:30 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-06-14 22:50:46 +0200 |
| commit | 518e27589c0463af15463c9d675c65e464efc2fe (patch) | |
| tree | bb2e53947f7d22dcc036d8a8a31074cc39a0fc17 | |
| parent | 5f8ca1c08fb7e8b562872752f3e624cb169c22e4 (diff) | |
Update lockfile.json
| -rw-r--r-- | lockfile.json | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json index 6a650a65..795abe4d 100644 --- a/lockfile.json +++ b/lockfile.json @@ -99,7 +99,7 @@ "revision": "cfcbca3f8f734773878e00d7bfcedea98eb10be2" }, "glimmer": { - "revision": "c9c6c06e59d806586bd35bfd2e7af3736a9b5a74" + "revision": "083db94116099c5eaf489f9d34ed1de0ccbc81ff" }, "glsl": { "revision": "a480a02033f8d5c67e798a6f7584ec0d2be568b0" @@ -174,7 +174,7 @@ "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { - "revision": "9cbe0c6be9455b6d3be19f51daef6d08732abab1" + "revision": "c8e55bb7403ab87de58983331df3ec6b115fa318" }, "ledger": { "revision": "1050a25df55a62878102d10e524b5184b316b7ad" @@ -302,6 +302,9 @@ "teal": { "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4" }, + "tiger": { + "revision": "eb1d3714998977ae76ca7c6a102b10ee37efc2b5" + }, "tlaplus": { "revision": "dde405e5128c3c47ab8aa014d21b6e5296ca450f" }, |