gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.lambdapi: migrate to finalAttrs

Browse Source
This commit is contained in:
Guy Chronister
2026-05-12 13:36:41 -05:00
parent a7eeb65fe0
commit df0dd0a098
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ocaml-modules/lambdapi/default.nix
+4 -4
View File
@@ -18,14 +18,14 @@
yojson,
}:
buildDunePackage rec {
buildDunePackage (finalAttrs: {
pname = "lambdapi";
version = "3.0.0";
minimalOCamlVersion = "4.14";
src = fetchurl {
url = "https://github.com/Deducteam/lambdapi/releases/download/${version}/lambdapi-${version}.tbz";
url = "https://github.com/Deducteam/lambdapi/releases/download/${finalAttrs.version}/lambdapi-${finalAttrs.version}.tbz";
hash = "sha256-EGau0mGP2OakAMUUfb9V6pd86NP+LlGKxnhcZ3WhuL4=";
};
@@ -64,7 +64,7 @@ buildDunePackage rec {
homepage = "https://github.com/Deducteam/lambdapi";
description = "Proof assistant based on the λΠ-calculus modulo rewriting";
license = lib.licenses.cecill21;
changelog = "https://github.com/Deducteam/lambdapi/raw/${version}/CHANGES.md";
changelog = "https://github.com/Deducteam/lambdapi/raw/${finalAttrs.version}/CHANGES.md";
maintainers = with lib.maintainers; [ bcdarwin ];
};
}
})