Update lockfile.json

This commit is contained in:
GitHub 2022-02-08 15:28:33 +00:00 committed by Stephan Seitz
parent c867d483a5
commit b1ef403322

View file

@ -174,7 +174,7 @@
"revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d"
},
"norg": {
"revision": "75d464c88a8d5e0e1ceae186be1d7a61eb663c3a"
"revision": "b7f879eaf9f20852f6b670439154b0128fbb6558"
},
"ocaml": {
"revision": "23d419ba45789c5a47d31448061557716b02750a"