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

leanify: unstable-2023-12-17 -> unstable-2025-05-20 (#407673)

Browse Source
This commit is contained in:
Peder Bergebakken Sundt
2025-05-28 03:22:23 +02:00
committed by GitHub
parent 8f24ed26a0 6800fbd4fe
commit bd05f384bb
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/le/leanify/package.nix
+5 -3
View File
@@ -7,13 +7,13 @@
stdenv.mkDerivation {
pname = "leanify";
version = "unstable-2023-12-17";
version = "unstable-2025-05-15";
src = fetchFromGitHub {
owner = "JayXon";
repo = "Leanify";
rev = "9daa4303cdc03f6b90b72c369e6377c6beb75c39";
hash = "sha256-fLazKCQnOT3bN3Kz25Q80RLk54EU5U6HCf6kPLcXn9c=";
rev = "42770e600b32962e7110c24b5fcaa8c7c2144b17";
hash = "sha256-njfMR2DSKeVh+ZUewall7837E9JY3nhrTxO4LOY1pEo=";
};
postPatch = lib.optionalString stdenv.hostPlatform.isDarwin ''
@@ -29,7 +29,9 @@ stdenv.mkDerivation {
checkPhase = ''
runHook preCheck
./leanify /dev/null
runHook postCheck
'';