From 1a5ae14bcb055629579cfa80aebff937870a2207 Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Sun, 10 Sep 2023 04:20:00 +0000 Subject: [PATCH] elan: 2.0.1 -> 3.0.0 Diff: https://github.com/leanprover/elan/compare/v2.0.1...v3.0.0 Changelog: https://github.com/leanprover/elan/blob/v3.0.0/CHANGELOG.md --- pkgs/applications/science/logic/elan/default.nix | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/pkgs/applications/science/logic/elan/default.nix b/pkgs/applications/science/logic/elan/default.nix index d08a342a28f1..b0df275085e6 100644 --- a/pkgs/applications/science/logic/elan/default.nix +++ b/pkgs/applications/science/logic/elan/default.nix @@ -3,16 +3,16 @@ rustPlatform.buildRustPackage rec { pname = "elan"; - version = "2.0.1"; + version = "3.0.0"; src = fetchFromGitHub { owner = "leanprover"; repo = "elan"; rev = "v${version}"; - sha256 = "sha256-gnE0uISKfUqUdmrHI6F7nLOFcsQALjRy584nMRrC68w="; + sha256 = "sha256-VrCEwAoWKhb1qfJUv3OreTzuKEVQADwZpEQIVEhjwHA="; }; - cargoHash = "sha256-rjxJ4bGep5OJUWME+EV5CqEsFY1SuoU07ANL0cbD+DU="; + cargoHash = "sha256-SMKFSu5C5mc3U266hEa6RB3GH5te3jIrUZAzj3YNa2E="; nativeBuildInputs = [ pkg-config makeWrapper ]; @@ -61,7 +61,9 @@ rustPlatform.buildRustPackage rec { meta = with lib; { description = "Small tool to manage your installations of the Lean theorem prover"; homepage = "https://github.com/leanprover/elan"; + changelog = "https://github.com/leanprover/elan/blob/v${version}/CHANGELOG.md"; license = with licenses; [ asl20 /* or */ mit ]; maintainers = with maintainers; [ gebner ]; + mainProgram = "elan"; }; }