nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 16:10:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

splint: migrate to finalAttrs

Browse Source 
Assisted-by: claude-opus-4-8
This commit is contained in:
Dmitry Bogatov
2026-10-10 12:43:28 +00:00
parent c23399dfe0
commit 8ee299e5c9
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/tools/analysis/splint/default.nix
View File

@@ -5,12 +5,12 @@
flex,
}:
stdenv.mkDerivation rec {
stdenv.mkDerivation (finalAttrs: {
pname = "splint";
version = "3.1.2";
src = fetchurl {
url = "https://www.splint.org/downloads/${pname}-${version}.src.tgz";
url = "https://www.splint.org/downloads/splint-${finalAttrs.version}.src.tgz";
sha256 = "02pv8kscsrkrzip9r08pfs9xs98q74c52mlxzbii6cv6vx1vd3f7";
};
@@ -40,4 +40,4 @@ stdenv.mkDerivation rec {
license = lib.licenses.gpl2Plus;
platforms = lib.platforms.unix;
};
}
})