diff --git a/pkgs/development/ocaml-modules/menhir/lib.nix b/pkgs/development/ocaml-modules/menhir/lib.nix
index a10a1e027733..27af2c1b5200 100644
--- a/pkgs/development/ocaml-modules/menhir/lib.nix
+++ b/pkgs/development/ocaml-modules/menhir/lib.nix
@@ -1,8 +1,14 @@
-{ lib, buildDunePackage, coqPackages, version ? "20231231" }:
+{ lib
+, buildDunePackage
+, ocaml
+, coqPackages
+, version ? if lib.versionAtLeast ocaml.version "4.08" then "20240715" else "20231231"
+}:
 
 let fetched = coqPackages.metaFetch ({
     release."20231231".sha256 = "sha256-veB0ORHp6jdRwCyDDAfc7a7ov8sOeHUmiELdOFf/QYk=";
-    releaseRev = v: "v${v}";
+    release."20240715".sha256 = "sha256-9CSxAIm0aEXkwF+aj8u/bqLG30y5eDNz65EnohJPjzI=";
+    releaseRev = v: "${v}";
     location = { domain = "gitlab.inria.fr"; owner = "fpottier"; repo = "menhir"; };
   }) version;
 in