diff options
author | Benjamin Hipple <bhipple@protonmail.com> | 2020-02-19 18:17:27 -0500 |
---|---|---|
committer | Benjamin Hipple <bhipple@protonmail.com> | 2020-02-19 18:17:27 -0500 |
commit | ed85c9981a9c64f21974af3fc1d9aa9bc35a8e07 (patch) | |
tree | 53b535c8bec17c7d1b42403a4642d853c64025d1 /pkgs/applications | |
parent | 6c6d7cb2e36c7e1292f0f5bae11f9137cb98934a (diff) | |
download | nixlib-ed85c9981a9c64f21974af3fc1d9aa9bc35a8e07.tar nixlib-ed85c9981a9c64f21974af3fc1d9aa9bc35a8e07.tar.gz nixlib-ed85c9981a9c64f21974af3fc1d9aa9bc35a8e07.tar.bz2 nixlib-ed85c9981a9c64f21974af3fc1d9aa9bc35a8e07.tar.lz nixlib-ed85c9981a9c64f21974af3fc1d9aa9bc35a8e07.tar.xz nixlib-ed85c9981a9c64f21974af3fc1d9aa9bc35a8e07.tar.zst nixlib-ed85c9981a9c64f21974af3fc1d9aa9bc35a8e07.zip |
elan: upgrade cargo fetcher and cargoSha256
Infra upgrade as part of #79975; ran `nixpkgs-review wip` successfully.
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/elan/default.nix | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/pkgs/applications/science/logic/elan/default.nix b/pkgs/applications/science/logic/elan/default.nix index 2ac7c208a5f1..b77f5110521c 100644 --- a/pkgs/applications/science/logic/elan/default.nix +++ b/pkgs/applications/science/logic/elan/default.nix @@ -1,14 +1,9 @@ -{ stdenv, pkgconfig, curl, openssl, zlib, fetchFromGitHub, rustPlatform }: +{ lib, pkgconfig, curl, openssl, zlib, fetchFromGitHub, rustPlatform }: rustPlatform.buildRustPackage rec { pname = "elan"; version = "0.7.5"; - # Delete this on next update; see #79975 for details - legacyCargoFetcher = true; - - cargoSha256 = "0q0xlvyyf88dbz43r7kk9v8rrp6hj0nl5i2i9mg6ibk2gphgdv6v"; - src = fetchFromGitHub { owner = "kha"; repo = "elan"; @@ -16,6 +11,8 @@ rustPlatform.buildRustPackage rec { sha256 = "1147f3lzr6lgvf580ppspn20bdwnf6l8idh1h5ana0p0lf5a0dn1"; }; + cargoSha256 = "0vja1cq6z7jlr4nzfdzn4gl8l31yld82zmgzwihnalif13q3fcps"; + nativeBuildInputs = [ pkgconfig ]; buildInputs = [ curl zlib openssl ]; @@ -38,7 +35,7 @@ rustPlatform.buildRustPackage rec { $out/bin/elan completions zsh > "$out/share/zsh/site-functions/_elan" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Small tool to manage your installations of the Lean theorem prover"; homepage = "https://github.com/Kha/elan"; license = with licenses; [ asl20 /* or */ mit ]; |