diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2018-05-07 11:31:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-07 11:31:23 +0200 |
| commit | 5347d8942074a6ae81a5cd5226f0f16c291b216a (patch) | |
| tree | 7df15cb040f12e1d9e04e83c50408ae913bc15a1 /pkgs/applications | |
| parent | f469f2eae54b076eb240fce6398f1e046b22707f (diff) | |
| parent | 639376aff6679e9add23f64089c95944bd2e6b41 (diff) | |
| download | nixlib-5347d8942074a6ae81a5cd5226f0f16c291b216a.tar nixlib-5347d8942074a6ae81a5cd5226f0f16c291b216a.tar.gz nixlib-5347d8942074a6ae81a5cd5226f0f16c291b216a.tar.bz2 nixlib-5347d8942074a6ae81a5cd5226f0f16c291b216a.tar.lz nixlib-5347d8942074a6ae81a5cd5226f0f16c291b216a.tar.xz nixlib-5347d8942074a6ae81a5cd5226f0f16c291b216a.tar.zst nixlib-5347d8942074a6ae81a5cd5226f0f16c291b216a.zip | |
Merge pull request #40093 from r-ryantm/auto-update/lean
lean: 3.3.0 -> 3.4.1
Diffstat (limited to 'pkgs/applications')
| -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 095aa5a7f8c8..16fdab59ea02 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.3.0"; + version = "3.4.1"; src = fetchFromGitHub { owner = "leanprover"; repo = "lean"; rev = "v${version}"; - sha256 = "0irh9b4haz0pzzxrb4hwcss91a0xb499kjrcrmr2s59p3zq8bbd9"; + sha256 = "0ww8azlyy3xikhd7nh96f507sg23r53zvayij1mwv5513vmblhhw"; }; nativeBuildInputs = [ cmake ]; |