Update lockfile.json

This commit is contained in:
GitHub 2022-11-19 15:32:33 +00:00 committed by Christian Clason
parent 37071a2e97
commit 24caa23402

View file

@ -243,7 +243,7 @@
"revision": "6b71a810c0acd49b980c50fc79092561f7cee307"
},
"norg": {
"revision": "dfac5ad2740a79b18ae849590a924e7bad3f1b23"
"revision": "8ad20059c6f128861c4506fff866150ffee1d6f4"
},
"ocaml": {
"revision": "cc26b1ef111100f26a137bcbcd39fd4e35be9a59"