Unverified Commit 5d7eab6c authored by kirillrdy's avatar kirillrdy Committed by GitHub
Browse files

Merge pull request #264607 from Mynacol/leanify-2023-10 

leanify: unstable-2022-12-04 -> unstable-2023-10-19
parents 607a4144 c952d995

pkgs/tools/misc/leanify/default.nix

+3 −3
Original line number Diff line number Diff line
@@ -6,13 +6,13 @@ 


stdenv.mkDerivation rec {

  pname = "leanify";

  version = "unstable-2022-12-04";

  version = "unstable-2023-10-19";



  src = fetchFromGitHub {

    owner = "JayXon";

    repo = "Leanify";

    rev = "7847668ac5bf0df1d940b674bc8b907bd1b37044";

    hash = "sha256-KxVV7AW9sEfH4YTPDfeJk7fMMGh0eSkECXM/Mv9XqBA=";

    rev = "5511415b02a7669f5fe9b454e5705e8328ab0359";

    hash = "sha256-eOp/SOynh0HUz62Ki5ADRk7FjQY0Gh55ydVnO0MCXAA=";

  };



  postPatch = lib.optionalString stdenv.isDarwin ''