nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 16:33:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.menhir: 20231231 → 20240715

Browse Source
This commit is contained in:
Vincent Laporte 2024-08-27 06:10:28 +02:00 committed by Vincent Laporte
parent a4cd8fea23
commit cb74f03500
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/ocaml-modules/menhir/lib.nix
View File

@ -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