Unverified Commit 05b03a54 authored by Aleksana's avatar Aleksana Committed by GitHub
Browse files

lean4: 4.9.0 -> 4.9.1 (#331445)

parents 5a7ae8f7 1b52ef11

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

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


stdenv.mkDerivation (finalAttrs: {

  pname = "lean4";

  version = "4.9.0";

  version = "4.9.1";



  src = fetchFromGitHub {

    owner = "leanprover";

    repo = "lean4";

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

    hash = "sha256-wi7outnKpz60to6Z7MSGAKK6COxmpJo6iu6Re86jqlo=";

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

  };



  postPatch = ''
@@ -53,6 +53,7 @@ stdenv.mkDerivation (finalAttrs: { 
  passthru.tests = {

    version = testers.testVersion {

      package = finalAttrs.finalPackage;

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

    };

  };