summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGitHub <noreply@github.com>2021-05-08 10:45:13 +0000
committerStephan Seitz <stephan.lauf@yahoo.de>2021-05-11 23:24:10 +0200
commit9f7920a17b9fce926bc5a3ecebe29dea4574dd7c (patch)
treee22a943a45406e8dc0fbe89f0d4e6e12d31a11bb
parent40ffe75bd2d3332babea1241001500a780bc6b62 (diff)
Update lockfile.json
-rw-r--r--lockfile.json4
1 files changed, 2 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json
index 3a7c9c72..b1b9e041 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -102,10 +102,10 @@
"revision": "50f38ceab667f9d482640edfee803d74f4edeba5"
},
"ocaml": {
- "revision": "2f962cf4eb0bee87bba755347a79ee501cd58313"
+ "revision": "0348562f385bc2bd67ecf181425e1afd6d454192"
},
"ocaml_interface": {
- "revision": "2f962cf4eb0bee87bba755347a79ee501cd58313"
+ "revision": "0348562f385bc2bd67ecf181425e1afd6d454192"
},
"ocamllex": {
"revision": "ac1d5957e719d49bd6acd27439b79843e4daf8ed"