diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2021-04-28 21:05:57 +0000 |
|---|---|---|
| committer | tomberek <tomberek@users.noreply.github.com> | 2021-04-29 00:04:34 -0400 |
| commit | e99e9f2d473c97516a95ecf39ded9c9dba00733c (patch) | |
| tree | 964ab0a07eaca4dfddc261f9615b9db99760553a /pkgs/applications/science | |
| parent | 2d79945d1c0d927535373dee188540f8cc883e14 (diff) | |
elan: 1.0.0 -> 1.0.2
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/elan/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/elan/default.nix b/pkgs/applications/science/logic/elan/default.nix index a7be01ae4e8c8..45a1345de86bf 100644 --- a/pkgs/applications/science/logic/elan/default.nix +++ b/pkgs/applications/science/logic/elan/default.nix @@ -7,16 +7,16 @@ in rustPlatform.buildRustPackage rec { pname = "elan"; - version = "1.0.0"; + version = "1.0.2"; src = fetchFromGitHub { owner = "leanprover"; repo = "elan"; rev = "v${version}"; - sha256 = "sha256-Ve9nd/IEHo7Gg4WyxqKLUV495U1k9LfDyClkuVkooyA="; + sha256 = "sha256-nK4wvxK5Ne1+4kaMts6pIr5FvXBgXJsGdn68gGEZUdk="; }; - cargoSha256 = "sha256-InGMZdP0c/QKU6ao8qhAUIDcAhOTumLOz6wo/u2+ibA="; + cargoSha256 = "sha256-ptSbpq1ePNWmdBGfKtqFGfkdimDjU0YEo4F8VPtQMt4="; nativeBuildInputs = [ pkg-config makeWrapper ]; |