From a59c82773c461447190223b3b983a3878933cb82 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 14 May 2024 11:49:27 +0200
Subject: [PATCH] [release] Bump menhir version match minimal requirements of
 dolmen.0.9 which is the minimal version for alt-ergo(-lib).2.5.3

---
 reference-configuration.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/reference-configuration.md b/reference-configuration.md
index 102f3e6c4f1..3facc53b6bf 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -8,7 +8,7 @@ compiling Frama-C 29.0.
 - dune-site.3.7.1
 - lablgtk3.3.1.3
 - lablgtk3-sourceview3.3.1.3
-- menhir.20211128
+- menhir.20211230
 - ocamlfind.1.9.6
 - ocamlgraph.2.1.0
 - ppx_deriving_yaml.0.2.1
-- 
GitLab