diff options
author | R. RyanTM <ryantm+bot@ryantm.com> | 2018-05-07 02:24:49 -0700 |
---|---|---|
committer | R. RyanTM <ryantm+bot@ryantm.com> | 2018-05-07 02:24:49 -0700 |
commit | 639376aff6679e9add23f64089c95944bd2e6b41 (patch) | |
tree | 774a3352e5ed07359a376bd48cb70d68ef12098b /pkgs/applications | |
parent | b45ef79b74d267891a11c1775a473c610ecebe78 (diff) | |
download | nixlib-639376aff6679e9add23f64089c95944bd2e6b41.tar nixlib-639376aff6679e9add23f64089c95944bd2e6b41.tar.gz nixlib-639376aff6679e9add23f64089c95944bd2e6b41.tar.bz2 nixlib-639376aff6679e9add23f64089c95944bd2e6b41.tar.lz nixlib-639376aff6679e9add23f64089c95944bd2e6b41.tar.xz nixlib-639376aff6679e9add23f64089c95944bd2e6b41.tar.zst nixlib-639376aff6679e9add23f64089c95944bd2e6b41.zip |
lean: 3.3.0 -> 3.4.1
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/lean/versions. These checks were done: - built on NixOS - ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean -h’ got 0 exit code - ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean --help’ got 0 exit code - ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/leanpkg help’ got 0 exit code - found 3.4.1 with grep in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1 - directory tree listing: https://gist.github.com/198504c00746718749b3019653fe78fd
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 ]; |