pyrox.dev / nixpkgs
lol
fork atom

Merge pull request #301208 from marsam/update-lean4

lean4: 4.6.1 -> 4.7.0

authored by Mario Rodas and committed by GitHub a8512382 bd22babc

+2 -2
unified split
+2 -2
pkgs/applications/science/logic/lean4/default.nix
··· 10 11 stdenv.mkDerivation (finalAttrs: { 12 pname = "lean4"; 13 - version = "4.6.1"; 14 15 src = fetchFromGitHub { 16 owner = "leanprover"; 17 repo = "lean4"; 18 rev = "v${finalAttrs.version}"; 19 - hash = "sha256-wUqGADwSocg2ciycCxg9qp+vJLJ2otA/5JpTrkFrDoQ="; 20 }; 21 22 postPatch = ''
··· 10 11 stdenv.mkDerivation (finalAttrs: { 12 pname = "lean4"; 13 + version = "4.7.0"; 14 15 src = fetchFromGitHub { 16 owner = "leanprover"; 17 repo = "lean4"; 18 rev = "v${finalAttrs.version}"; 19 + hash = "sha256-jHY8BhDotfGcMS0Xzl5iawqCaug3dDEKuD5Y1WcM06I="; 20 }; 21 22 postPatch = ''