From cb74f035008e8dc27fe25f386a62c419cd9c96a5 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 27 Aug 2024 06:10:28 +0200 Subject: [PATCH] =?UTF-8?q?ocamlPackages.menhir:=2020231231=20=E2=86=92=20?= =?UTF-8?q?20240715?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/ocaml-modules/menhir/lib.nix | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) 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