lean4: 4.2.0 -> 4.3.0
Diff: https://github.com/leanprover/lean4/compare/v4.2.0...v4.3.0 Changelog: https://github.com/leanprover/lean4/blob/v4.3.0/RELEASES.md
This commit is contained in:
parent
feeae486de
commit
cbcf0e94ac
@ -9,13 +9,13 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "lean4";
|
||||
version = "4.2.0";
|
||||
version = "4.3.0";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "leanprover";
|
||||
repo = "lean4";
|
||||
rev = "v${version}";
|
||||
hash = "sha256-56YtHCiNMP5fJoddSokEl0ws06IwetYLer4aLCnujZA=";
|
||||
hash = "sha256-2F6sibGMG1U5By/aKGluLgkXIlMpZ7m06gVEG2Uz4RQ=";
|
||||
};
|
||||
|
||||
postPatch = ''
|
||||
|
Loading…
Reference in New Issue
Block a user