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

elan: 4.2.1 -> 4.2.2 (#525246)

Browse Source
This commit is contained in:
Nick Cao
2026-05-29 13:56:04 +00:00
committed by GitHub
parent 94b025a8f1 d3cc9670dd
commit 5eb2c38f91
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/el/elan/package.nix
+3 -3
View File
@@ -16,16 +16,16 @@
rustPlatform.buildRustPackage (finalAttrs: {
pname = "elan";
version = "4.2.1";
version = "4.2.2";
src = fetchFromGitHub {
owner = "leanprover";
repo = "elan";
rev = "v${finalAttrs.version}";
hash = "sha256-NSgzAYQjsf3lwYOiuJbkLJGRZ7rY2FEOjPORXNhjWuU=";
hash = "sha256-2Z/lw6tCloY6Lg+zHkYbfazLXMks6bxYBF5PxhI+654=";
};
cargoHash = "sha256-JzyDVFp1lGPk1IK6CLQMBcJi5yCVD9x1iXtN0wlOF3g=";
cargoHash = "sha256-QilFETnaZtOVIwl+IrCvNjnofnQfEqC0ILsT1nQShgw=";
nativeBuildInputs = [
pkg-config