pyrox.dev / nixpkgs
lol
fork atom

Merge pull request #110487 from r-ryantm/auto-update/lean

lean: 3.24.0 -> 3.25.0

authored by

Mario Rodas and committed by
GitHub 214d726b 81e3b9d1

+2 -2
unified split
+2 -2
pkgs/applications/science/logic/lean/default.nix
··· 2 3 stdenv.mkDerivation rec { 4 pname = "lean"; 5 - version = "3.24.0"; 6 7 src = fetchFromGitHub { 8 owner = "leanprover-community"; 9 repo = "lean"; 10 rev = "v${version}"; 11 - sha256 = "npzBuZ37KrUYwC0TglryVTqui/3/t1ma1Zjpnty0d7c="; 12 }; 13 14 nativeBuildInputs = [ cmake ];
··· 2 3 stdenv.mkDerivation rec { 4 pname = "lean"; 5 + version = "3.25.0"; 6 7 src = fetchFromGitHub { 8 owner = "leanprover-community"; 9 repo = "lean"; 10 rev = "v${version}"; 11 + sha256 = "sha256-/TlVoqgTGhRfC8d70kXc+VsEkURUksKNGRjYcww+F8g="; 12 }; 13 14 nativeBuildInputs = [ cmake ];