Unverified Commit 8bcedd37 authored by Oleksii Filonenko's avatar Oleksii Filonenko Committed by GitHub
Browse files

lean4: 4.9.1 -> 4.10.0 (#343884)

parents d621d795 5f7adcb3

pkgs/applications/science/logic/lean4/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -10,13 +10,13 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "lean4";

  version = "4.9.1";

  version = "4.10.0";



  src = fetchFromGitHub {

    owner = "leanprover";

    repo = "lean4";

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

    hash = "sha256-C3N56f3mT+5f149T1BIYQil2UleAWmnRYLqUq4zcLgs=";

    hash = "sha256-lNWr84aeVpI/p/oxkNAUlUMUROGGzHAkb2D9q8BzHeA=";

  };



  postPatch = ''