shelvacu/nix-stuff
1
0
Fork 1
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update leanLatest

Browse Source
This commit is contained in:
Shelvacu
2025-05-07 11:17:19 -07:00
committed by Shelvacu on fw
parent a93e86b2a1
commit 3e4905665d
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
packages/leanLatest.nix
View File

@@ -1,12 +1,12 @@
{ lean4, fetchFromGitHub }:
lean4.overrideAttrs (
final: prev: {
version = "4.19.0-rc3";
version = "4.19.0";
src = fetchFromGitHub {
owner = "leanprover";
repo = "lean4";
tag = "v4.19.0-rc3";
hash = "sha256-3a+zMGr1JnjxCm9sx8ikTpPXUoaOxmO6o5I0akip+kU=";
tag = "v4.19.0";
hash = "sha256-Iw5JSamrty9l6aJ2WwslAolSHfi2q0UO8P8HI1gp+j8=";
};
cmakeFlags = (prev.cmakeFlags or [ ]) ++ [ "-DUSE_MIMALLOC=OFF" ];
}