Unverified Commit a54c903c authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

elan: 4.2.0 -> 4.2.1 (#501045)

parents 9ceae684 dbb62ff5

pkgs/by-name/el/elan/package.nix

+3 −3
Original line number Diff line number Diff line
@@ -16,16 +16,16 @@ 


rustPlatform.buildRustPackage (finalAttrs: {

  pname = "elan";

  version = "4.2.0";

  version = "4.2.1";



  src = fetchFromGitHub {

    owner = "leanprover";

    repo = "elan";

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

    hash = "sha256-pbzZTdvjxIqzEDzE38rjeJ/lgHx8NRTD3osVP/A7nHo=";

    hash = "sha256-NSgzAYQjsf3lwYOiuJbkLJGRZ7rY2FEOjPORXNhjWuU=";

  };



  cargoHash = "sha256-fuXmI/IxxYooc8C5otH5BlCHv7SsfWevw4i9tW65rno=";

  cargoHash = "sha256-JzyDVFp1lGPk1IK6CLQMBcJi5yCVD9x1iXtN0wlOF3g=";



  nativeBuildInputs = [

    pkg-config