Update lockfile.json (#2514)

Co-authored-by: GitHub <noreply@github.com>
This commit is contained in:
github-actions[bot] 2022-02-11 18:24:24 +01:00 committed by GitHub
parent 97cc325a17
commit 391bdccdf0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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"