diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-02-11 18:24:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-11 18:24:24 +0100 |
| commit | 391bdccdf06696c789730204486761ac9202dd32 (patch) | |
| tree | 18f1297240009ca17dc6d84d346dea371ad64c15 | |
| parent | 97cc325a173439366cdb5f181acb83c7836e6bb9 (diff) | |
Update lockfile.json (#2514)
Co-authored-by: GitHub <noreply@github.com>
| -rw-r--r-- | lockfile.json | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json index 103ffe01..dfebaadf 100644 --- a/lockfile.json +++ b/lockfile.json @@ -174,7 +174,7 @@ "revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d" }, "norg": { - "revision": "6ffb6dc652d4d5c59de73b8770fe8c9020c6cc03" + "revision": "456ef20d37825e42e1cd36320c8897ed0aec80be" }, "ocaml": { "revision": "23d419ba45789c5a47d31448061557716b02750a" @@ -273,7 +273,7 @@ "revision": "e8e8e8dc2745840b036421b4e43286750443cb13" }, "vala": { - "revision": "2d9530dab8067b32b66165f691b6252c8975147b" + "revision": "a28c1a318f037ae47236491b324e5976ed857f67" }, "verilog": { "revision": "8f6b1f357d1231c420404b5f7a368a73c25adfa2" |
