diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2019-01-20 05:28:55 -0500 |
|---|---|---|
| committer | Mario Rodas <marsam@users.noreply.github.com> | 2019-01-20 06:46:37 -0500 |
| commit | 9a18d9356d12c8244bd3893c37a479190993654d (patch) | |
| tree | addecd6ba8a42108ff025b2d40a394e926204848 /pkgs/applications/science | |
| parent | b71ed9c88899ecd5e6752ec43545a09fd166e911 (diff) | |
| download | nixlib-9a18d9356d12c8244bd3893c37a479190993654d.tar nixlib-9a18d9356d12c8244bd3893c37a479190993654d.tar.gz nixlib-9a18d9356d12c8244bd3893c37a479190993654d.tar.bz2 nixlib-9a18d9356d12c8244bd3893c37a479190993654d.tar.lz nixlib-9a18d9356d12c8244bd3893c37a479190993654d.tar.xz nixlib-9a18d9356d12c8244bd3893c37a479190993654d.tar.zst nixlib-9a18d9356d12c8244bd3893c37a479190993654d.zip | |
lean: 3.4.1 -> 3.4.2
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index 16fdab59ea02..407244ef1830 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { name = "lean-${version}"; - version = "3.4.1"; + version = "3.4.2"; src = fetchFromGitHub { owner = "leanprover"; repo = "lean"; rev = "v${version}"; - sha256 = "0ww8azlyy3xikhd7nh96f507sg23r53zvayij1mwv5513vmblhhw"; + sha256 = "0zpnfg6kyg120rrdr336i1lymmzz4xgcqpn96iavhzhlaanmx55l"; }; nativeBuildInputs = [ cmake ]; @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { meta = with stdenv.lib; { description = "Automatic and interactive theorem prover"; - homepage = "http://leanprover.github.io"; + homepage = https://leanprover.github.io/; license = licenses.asl20; platforms = platforms.unix; maintainers = with maintainers; [ thoughtpolice gebner ]; |