Update lockfile.json

This commit is contained in:
GitHub 2022-03-13 10:02:26 +00:00 committed by Christian Clason
parent e8799d6abc
commit 2d769167c4

View file

@ -180,7 +180,7 @@
"revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d"
},
"norg": {
"revision": "9e74109271cedf933ea5b659ce7398c5ff8dc739"
"revision": "4c180d07747b574b1f9302272ad6db3dac4b83dd"
},
"ocaml": {
"revision": "23d419ba45789c5a47d31448061557716b02750a"