cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

lean4: 4.6.1 -> 4.7.0

Browse source 
Diff: https://github.com/leanprover/lean4/compare/v4.6.1...v4.7.0

Changelog: https://github.com/leanprover/lean4/blob/v4.7.0/RELEASES.md
This commit is contained in:
Mario Rodas 2024-04-03 04:20:00 +00:00
parent 02f8d7e144
commit 9f5604780c
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/lean4/default.nix
View file

@ -10,13 +10,13 @@
stdenv.mkDerivation (finalAttrs: { stdenv.mkDerivation (finalAttrs: {
pname = "lean4"; pname = "lean4";
version = "4.6.1"; version = "4.7.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "leanprover"; owner = "leanprover";
repo = "lean4"; repo = "lean4";
rev = "v${finalAttrs.version}"; rev = "v${finalAttrs.version}";
hash = "sha256-wUqGADwSocg2ciycCxg9qp+vJLJ2otA/5JpTrkFrDoQ="; hash = "sha256-jHY8BhDotfGcMS0Xzl5iawqCaug3dDEKuD5Y1WcM06I=";
}; };
postPatch = '' postPatch = ''