Unverified Commit 28773bcb authored by Mario Rodas's avatar Mario Rodas Committed by GitHub
Browse files

Merge pull request #229140 from r-ryantm/auto-update/elan 

elan: 1.4.2 -> 1.4.5
parents bc9a0787 6300f3bf

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

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


rustPlatform.buildRustPackage rec {

  pname = "elan";

  version = "1.4.2";

  version = "1.4.5";



  src = fetchFromGitHub {

    owner = "leanprover";

    repo = "elan";

    rev = "v${version}";

    sha256 = "1aq06d66y622n0bbd57dx8s0ajz6cdv1vzaz25wvi4i62sg4x21x";

    sha256 = "sha256-KCRKVVNC2tJZWgqdQ8NPUzJHPexhF58cuO8Iyx81UJo=";

  };



  cargoSha256 = "sha256-RzeewQzsV5F5E0xwJF1MpzzQ8usyfQjzlDInOJqZdO8=";

  cargoHash = "sha256-nFaDWDmDskZ0TKFG5KZk/vLn6ZzU3+mPD6y1wFxhLXg=";



  nativeBuildInputs = [ pkg-config makeWrapper ];