From 142d16692deaa3fa3794d04bc7f23c22e5c1ddd3 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 21 Aug 2024 11:55:09 +0200
Subject: [PATCH] ocamlPackages.menhir: enable override (#331749)

---
 pkgs/development/ocaml-modules/menhir/lib.nix | 19 +++++++++----------
 1 file changed, 9 insertions(+), 10 deletions(-)

diff --git a/pkgs/development/ocaml-modules/menhir/lib.nix b/pkgs/development/ocaml-modules/menhir/lib.nix
index a694c7a54c3c..a10a1e027733 100644
--- a/pkgs/development/ocaml-modules/menhir/lib.nix
+++ b/pkgs/development/ocaml-modules/menhir/lib.nix
@@ -1,17 +1,16 @@
-{ lib, fetchFromGitLab, buildDunePackage }:
+{ lib, buildDunePackage, coqPackages, version ? "20231231" }:
 
+let fetched = coqPackages.metaFetch ({
+    release."20231231".sha256 = "sha256-veB0ORHp6jdRwCyDDAfc7a7ov8sOeHUmiELdOFf/QYk=";
+    releaseRev = v: "v${v}";
+    location = { domain = "gitlab.inria.fr"; owner = "fpottier"; repo = "menhir"; };
+  }) version;
+in
 buildDunePackage rec {
   pname = "menhirLib";
-  version = "20231231";
-  minimalOCamlVersion = "4.03";
+  inherit (fetched) version src;
 
-  src = fetchFromGitLab {
-    domain = "gitlab.inria.fr";
-    owner = "fpottier";
-    repo = "menhir";
-    rev = version;
-    hash = "sha256-veB0ORHp6jdRwCyDDAfc7a7ov8sOeHUmiELdOFf/QYk=";
-  };
+  minimalOCamlVersion = "4.03";
 
   meta = with lib; {
     homepage = "http://pauillac.inria.fr/~fpottier/menhir/";