pyrox.dev
elan: 4.1.1 -> 4.1.2 (#411126)
authored by
Wolfgang Walther
and committed by
GitHub
669be882
bf43d9fa
+3
-3
pkgs/by-name/el/elan/package.nix
+3
-3
pkgs/by-name/el/elan/package.nix
···
16
17
rustPlatform.buildRustPackage rec {
18
pname = "elan";
19
-
version = "4.1.1";
20
21
src = fetchFromGitHub {
22
owner = "leanprover";
23
repo = "elan";
24
rev = "v${version}";
25
-
hash = "sha256-z20QiYbpEx591CtGerdX63not9S7TB5BJFoCoGTYen0=";
26
};
27
28
useFetchCargoVendor = true;
29
-
cargoHash = "sha256-T8R1BostefR0vbmKo1UDmP6FjXWfsfFUtF/oRqAN7mc=";
30
31
nativeBuildInputs = [
32
pkg-config
···
16
17
rustPlatform.buildRustPackage rec {
18
pname = "elan";
19
+
version = "4.1.2";
20
21
src = fetchFromGitHub {
22
owner = "leanprover";
23
repo = "elan";
24
rev = "v${version}";
25
+
hash = "sha256-1pEa3uFO1lncCjOHEDM84A0p6xoOfZnU+OCS2j8cCK8=";
26
};
27
28
useFetchCargoVendor = true;
29
+
cargoHash = "sha256-CLeFXpCfaTTgbr6jmUmewArKfkOquNhjlIlwtoaJfZw=";
30
31
nativeBuildInputs = [
32
pkg-config