diff options
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lockfile.json b/lockfile.json index 91bfe6754..b6f1f32b9 100644 --- a/lockfile.json +++ b/lockfile.json @@ -227,6 +227,9 @@ "ocamllex": { "revision": "ac1d5957e719d49bd6acd27439b79843e4daf8ed" }, + "menhir": { + "revision": "db7953acb0d5551f207373c81fa07a57d7b085cb" + }, "org": { "revision": "698bb1a34331e68f83fc24bdd1b6f97016bb30de" }, |