aboutsummaryrefslogtreecommitdiffstats
path: root/lockfile.json
diff options
context:
space:
mode:
Diffstat (limited to 'lockfile.json')
-rw-r--r--lockfile.json4
1 files changed, 2 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json
index de520cc15..44ac05e29 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -516,10 +516,10 @@
"revision": "28d3b2e25a0b1881d1b47ed1924ca276c7003d45"
},
"ocaml": {
- "revision": "781514ec0b786e516e4da3edc64fdfcf76400e4e"
+ "revision": "57644edfbba0edb38ac17dba2add4c243fa3539b"
},
"ocaml_interface": {
- "revision": "781514ec0b786e516e4da3edc64fdfcf76400e4e"
+ "revision": "57644edfbba0edb38ac17dba2add4c243fa3539b"
},
"ocamllex": {
"revision": "4b9898ccbf198602bb0dec9cd67cc1d2c0a4fad2"