diff options
| author | Andrew Helwer <ahelwer@users.noreply.github.com> | 2022-02-03 13:12:22 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-03 19:12:22 +0100 |
| commit | b12c10778c4eb16bdaaed3a4b11397039b81d9f5 (patch) | |
| tree | 729e4b1a992bae2b0ecb2e00d3326d01c78b62b8 /lockfile.json | |
| parent | 50cf31065c1e3502d8964bb3674b95567d752074 (diff) | |
Updated TLA+ version, queries, maintainers (#2442)
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 3ebfcbb7..f96d991d 100644 --- a/lockfile.json +++ b/lockfile.json @@ -258,7 +258,7 @@ "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4" }, "tlaplus": { - "revision": "6cd9e3e24d02d4311cc0bc79da9b415712648a34" + "revision": "dde405e5128c3c47ab8aa014d21b6e5296ca450f" }, "toml": { "revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e" |