|
|
@ -2,13 +2,13 @@ |
|
|
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec { |
|
|
|
stdenv.mkDerivation rec { |
|
|
|
pname = "lean"; |
|
|
|
pname = "lean"; |
|
|
|
version = "3.24.0"; |
|
|
|
version = "3.25.0"; |
|
|
|
|
|
|
|
|
|
|
|
src = fetchFromGitHub { |
|
|
|
src = fetchFromGitHub { |
|
|
|
owner = "leanprover-community"; |
|
|
|
owner = "leanprover-community"; |
|
|
|
repo = "lean"; |
|
|
|
repo = "lean"; |
|
|
|
rev = "v${version}"; |
|
|
|
rev = "v${version}"; |
|
|
|
sha256 = "npzBuZ37KrUYwC0TglryVTqui/3/t1ma1Zjpnty0d7c="; |
|
|
|
sha256 = "sha256-/TlVoqgTGhRfC8d70kXc+VsEkURUksKNGRjYcww+F8g="; |
|
|
|
}; |
|
|
|
}; |
|
|
|
|
|
|
|
|
|
|
|
nativeBuildInputs = [ cmake ]; |
|
|
|
nativeBuildInputs = [ cmake ]; |
|
|
|