Unverified Commit e08eecb8 authored by jthulhu's avatar jthulhu
Browse files

lean4: 4.16.0 -> 4.17.0 

Release notes: https://github.com/leanprover/lean4/releases/tag/v4.17.0
parent 7768e6b9

pkgs/by-name/le/lean4/package.nix

+4 −2
Original line number Diff line number Diff line
@@ -6,6 +6,7 @@ 
  git,

  gmp,

  cadical,

  pkg-config,

  libuv,

  perl,

  testers,
@@ -13,13 +14,13 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "lean4";

  version = "4.16.0";

  version = "4.17.0";



  src = fetchFromGitHub {

    owner = "leanprover";

    repo = "lean4";

    tag = "v${finalAttrs.version}";

    hash = "sha256-RdFTxLk0Yahwhu/oQeTappvWnUtnim63dxN7gmU8Jt8=";

    hash = "sha256-6oteAbCKhel0pRyFGqSDG03oDPQU5Y9dsPcujSG6sjo=";

  };



  postPatch = ''
@@ -37,6 +38,7 @@ stdenv.mkDerivation (finalAttrs: { 


  nativeBuildInputs = [

    cmake

    pkg-config

  ];



  buildInputs = [