JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

elan: 1.0.2 -> 1.0.6

Browse Source
This commit is contained in:
R. RyanTM 2021-05-26 05:44:59 +00:00
parent 4381631c26
commit 15c278930c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/elan/default.nix
View File

@ -7,16 +7,16 @@ in
rustPlatform.buildRustPackage rec {
pname = "elan";
version = "1.0.2";
version = "1.0.6";
src = fetchFromGitHub {
owner = "leanprover";
repo = "elan";
rev = "v${version}";
sha256 = "sha256-nK4wvxK5Ne1+4kaMts6pIr5FvXBgXJsGdn68gGEZUdk=";
sha256 = "sha256-Ns8vSS/PDlfopigW4Nz3fdR9PCMG8gDoL36+/s0Qkeo=";
};
cargoSha256 = "sha256-ptSbpq1ePNWmdBGfKtqFGfkdimDjU0YEo4F8VPtQMt4=";
cargoSha256 = "sha256-NDtldiVo4SyE88f6ntKn1WJDFdvwN5Ps4DxQH15iNZE=";
nativeBuildInputs = [ pkg-config makeWrapper ];