diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2021-04-27 22:52:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-27 22:52:12 +0200 |
| commit | a062505e10e3b65bcdc8638e4e4a379f49541ab0 (patch) | |
| tree | 1a1ce3338dcd8bf906301d608dd8430e1803bbfb /pkgs/applications/science | |
| parent | 80d37549c4e0e7de4ca18792a1dd888e750899fc (diff) | |
| parent | 32cb3382e512367921983950986801ec1bb2b983 (diff) | |
Merge pull request #120177 from r-ryantm/auto-update/elan
elan: 0.11.0 -> 1.0.0
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/elan/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/elan/default.nix b/pkgs/applications/science/logic/elan/default.nix index fab930e2c7b8f..a7be01ae4e8c8 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 = "0.11.0"; + version = "1.0.0"; src = fetchFromGitHub { - owner = "kha"; + owner = "leanprover"; repo = "elan"; rev = "v${version}"; - sha256 = "1sl69ygdwhf80sx6m76x5gp1kwsw0rr1lv814cgzm8hvyr6g0jqa"; + sha256 = "sha256-Ve9nd/IEHo7Gg4WyxqKLUV495U1k9LfDyClkuVkooyA="; }; - cargoSha256 = "1f881maf8jizd5ip7pc1ncbiq7lpggp0byma13pvqk7gisnqyr4r"; + cargoSha256 = "sha256-InGMZdP0c/QKU6ao8qhAUIDcAhOTumLOz6wo/u2+ibA="; nativeBuildInputs = [ pkg-config makeWrapper ]; @@ -61,7 +61,7 @@ rustPlatform.buildRustPackage rec { meta = with lib; { description = "Small tool to manage your installations of the Lean theorem prover"; - homepage = "https://github.com/Kha/elan"; + homepage = "https://github.com/leanprover/elan"; license = with licenses; [ asl20 /* or */ mit ]; maintainers = with maintainers; [ gebner ]; }; |