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

elan: 4.2.2 -> 4.2.3 (#529464)

Browse Source
This commit is contained in:
Nick Cao
2026-06-08 20:35:12 +00:00
committed by GitHub
parent 42543568f2 76a8184469
commit c6ad59a34a
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.2";
version = "4.2.3";
src = fetchFromGitHub {
owner = "leanprover";
repo = "elan";
rev = "v${finalAttrs.version}";
hash = "sha256-2Z/lw6tCloY6Lg+zHkYbfazLXMks6bxYBF5PxhI+654=";
hash = "sha256-Ael2hla+jqiaP8FfYYQ0u3V8cVt+CEFEQU7jB3LYG2E=";
};
cargoHash = "sha256-QilFETnaZtOVIwl+IrCvNjnofnQfEqC0ILsT1nQShgw=";
cargoHash = "sha256-MDe/QBE1gd/4yMAuwBga8x9yv3duf3vaudMongurtQI=";
nativeBuildInputs = [
pkg-config