ocamlPackages.menhir: enable override (#331749)
This commit is contained in:
parent
d9a8d4e344
commit
142d16692d
@ -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/";
|
||||
|
Loading…
Reference in New Issue
Block a user