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

elan: 3.1.0 -> 3.1.1

Browse Source 
Diff: https://github.com/leanprover/elan/compare/v3.1.0...v3.1.1

Changelog: https://github.com/leanprover/elan/blob/v3.1.1/CHANGELOG.md
This commit is contained in:
Mario Rodas 2024-02-22 04:20:00 +00:00
parent fd06b8768c
commit e4de5ceffd
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

@ -3,16 +3,16 @@
rustPlatform.buildRustPackage rec {
pname = "elan";
version = "3.1.0";
version = "3.1.1";
src = fetchFromGitHub {
owner = "leanprover";
repo = "elan";
rev = "v${version}";
hash = "sha256-IC/xb4tZer2cbwIusdCwXxJS3K7kN/XFoU4mxKW4dVc=";
hash = "sha256-/g5bO3UQcg0XYm62KdoWcVQqOV3SIedWUYLufEcblmE=";
};
cargoHash = "sha256-F80iiXb0UpV+N9q7Msef6/Uzas1DGjMKPWuOKrk8tqU=";
cargoHash = "sha256-f8YVUTxHX1FY2p73DlnLDtCJaG/0JImUtJFraV6ErNM=";
nativeBuildInputs = [ pkg-config makeWrapper ];