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

lean4: 4.17.0 -> 4.18.0 (#395111)

Browse Source
This commit is contained in:
Austin Horstman
2025-04-03 00:03:38 -05:00
committed by GitHub
parent 5e12c96120 e170677ba0
commit 437b5206e3
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/le/lean4/package.nix
+2 -2
View File
@@ -14,13 +14,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "lean4";
version = "4.17.0";
version = "4.18.0";
src = fetchFromGitHub {
owner = "leanprover";
repo = "lean4";
tag = "v${finalAttrs.version}";
hash = "sha256-6oteAbCKhel0pRyFGqSDG03oDPQU5Y9dsPcujSG6sjo=";
hash = "sha256-1hVcRO9RbVUgoKTUTFXBqJZwt50/aw/P9dxUdI7RpCc=";
};
postPatch = ''