Update lockfile.json (#3976)

Co-authored-by: GitHub <noreply@github.com>
This commit is contained in:
github-actions[bot] 2022-12-15 08:22:26 +00:00 committed by GitHub
parent 6ed8a41bd5
commit c5d025c467
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -255,10 +255,10 @@
"revision": "8ad20059c6f128861c4506fff866150ffee1d6f4"
},
"ocaml": {
"revision": "cc26b1ef111100f26a137bcbcd39fd4e35be9a59"
"revision": "de07323343946c32759933cb3b7c78e821098cad"
},
"ocaml_interface": {
"revision": "cc26b1ef111100f26a137bcbcd39fd4e35be9a59"
"revision": "de07323343946c32759933cb3b7c78e821098cad"
},
"ocamllex": {
"revision": "ac1d5957e719d49bd6acd27439b79843e4daf8ed"