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

elan: 4.0.0 -> 4.0.1

Browse Source
This commit is contained in:
R. Ryantm
2025-04-18 14:12:17 +00:00
parent 6e3a80e8db
commit 6cd8fb7a28
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,17 +16,17 @@
rustPlatform.buildRustPackage rec {
pname = "elan";
version = "4.0.0";
version = "4.0.1";
src = fetchFromGitHub {
owner = "leanprover";
repo = "elan";
rev = "v${version}";
hash = "sha256-6/5yIIO0Avf6YpD7+7B30bnwtcPXi2k4RqWFO8hBaII=";
hash = "sha256-3L5kGcj+iXjVYV4ZlBfHsVfOWQVv6iJ325Phtqi3GQA=";
};
useFetchCargoVendor = true;
cargoHash = "sha256-4HYRglFhEpEnRu8gPSNFFAT2v4/3ccwd02LZfNJUzbM=";
cargoHash = "sha256-FO/Qd6hIl34YCW9nWKtv0fykbqyL+vbmWboewTB9Dak=";
nativeBuildInputs = [
pkg-config