diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2020-03-22 04:20:00 -0500 |
|---|---|---|
| committer | Mario Rodas <marsam@users.noreply.github.com> | 2020-03-22 04:20:00 -0500 |
| commit | b2df6d541d6e5a9afe4605424a76238a2427b7c3 (patch) | |
| tree | 05b1a5e507336eb0fb887b70ae5e491d7820658a /pkgs/applications/science/logic | |
| parent | 667df74501281062a3af9e7a4e76762a4370b5fc (diff) | |
| download | nixpkgs-b2df6d541d6e5a9afe4605424a76238a2427b7c3.tar nixpkgs-b2df6d541d6e5a9afe4605424a76238a2427b7c3.tar.gz nixpkgs-b2df6d541d6e5a9afe4605424a76238a2427b7c3.tar.bz2 nixpkgs-b2df6d541d6e5a9afe4605424a76238a2427b7c3.tar.lz nixpkgs-b2df6d541d6e5a9afe4605424a76238a2427b7c3.tar.xz nixpkgs-b2df6d541d6e5a9afe4605424a76238a2427b7c3.tar.zst nixpkgs-b2df6d541d6e5a9afe4605424a76238a2427b7c3.zip | |
lean: 3.7.0 -> 3.7.2
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index ac65a72c94b..cfd645a3c73 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "lean"; - version = "3.7.0"; + version = "3.7.2"; src = fetchFromGitHub { owner = "leanprover-community"; repo = "lean"; rev = "v${version}"; - sha256 = "1khy41zv4bjbpy3949j7y7d4qal53w4679iqlhm2l8jxd7y46nvi"; + sha256 = "0d9lz0mbxyaaykkvk2p8w2hcif9cx0ksihgh7qhxf417bz6msgc1"; }; nativeBuildInputs = [ cmake ]; |