|
|
|
@ -2,13 +2,13 @@ |
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec { |
|
|
|
|
pname = "lean"; |
|
|
|
|
version = "3.6.1"; |
|
|
|
|
version = "3.7.0"; |
|
|
|
|
|
|
|
|
|
src = fetchFromGitHub { |
|
|
|
|
owner = "leanprover-community"; |
|
|
|
|
repo = "lean"; |
|
|
|
|
rev = "v${version}"; |
|
|
|
|
sha256 = "0crcpzbz75mdyi1vi4mygw3mj4lx73vff58fkic1gfxlpwrwgi20"; |
|
|
|
|
sha256 = "1khy41zv4bjbpy3949j7y7d4qal53w4679iqlhm2l8jxd7y46nvi"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
nativeBuildInputs = [ cmake ]; |
|
|
|
@ -22,6 +22,7 @@ stdenv.mkDerivation rec { |
|
|
|
|
meta = with stdenv.lib; { |
|
|
|
|
description = "Automatic and interactive theorem prover"; |
|
|
|
|
homepage = "https://leanprover.github.io/"; |
|
|
|
|
changelog = "https://github.com/leanprover-community/lean/blob/v${version}/doc/changes.md"; |
|
|
|
|
license = licenses.asl20; |
|
|
|
|
platforms = platforms.unix; |
|
|
|
|
maintainers = with maintainers; [ thoughtpolice gebner ]; |
|
|
|
|