diff options
author | Gabriel Ebner <gebner@gebner.org> | 2016-07-27 11:01:45 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2016-07-27 11:01:45 +0200 |
commit | f970bc67c7c3c25504bbabf9f8901ced4ebd9891 (patch) | |
tree | c2d2db28fe382a396ff47931d9cae41aa4164208 /pkgs/applications/science/logic/lean | |
parent | e412f2199a8e31d22c0ffa178c29c97c8e308983 (diff) | |
download | nixlib-f970bc67c7c3c25504bbabf9f8901ced4ebd9891.tar nixlib-f970bc67c7c3c25504bbabf9f8901ced4ebd9891.tar.gz nixlib-f970bc67c7c3c25504bbabf9f8901ced4ebd9891.tar.bz2 nixlib-f970bc67c7c3c25504bbabf9f8901ced4ebd9891.tar.lz nixlib-f970bc67c7c3c25504bbabf9f8901ced4ebd9891.tar.xz nixlib-f970bc67c7c3c25504bbabf9f8901ced4ebd9891.tar.zst nixlib-f970bc67c7c3c25504bbabf9f8901ced4ebd9891.zip |
lean: 20160117 -> 2016-07-05
Fixes #17260.
Diffstat (limited to 'pkgs/applications/science/logic/lean')
-rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index 92c306c40827..3bc1441212ee 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -1,18 +1,18 @@ -{ stdenv, fetchFromGitHub, cmake, gmp, mpfr, luajit, boost, python +{ stdenv, fetchFromGitHub, cmake, gmp, mpfr, boost, python , gperftools, ninja, makeWrapper }: stdenv.mkDerivation rec { name = "lean-${version}"; - version = "20160117"; + version = "2016-07-05"; src = fetchFromGitHub { owner = "leanprover"; repo = "lean"; - rev = "b2554dcb8f45899ccce84f226cd67b6460442930"; - sha256 = "1gr024bly92kdjky5qvcm96gn86ijakziiyrsz91h643n1iyxhms"; + rev = "cc70845332e63a1f1be21dc1f96d17269fc85909"; + sha256 = "09qz2vjw7whiggvw0cdaa4i2f49wnch2sd4r43glq181ssln27d6"; }; - buildInputs = [ gmp mpfr luajit boost cmake python gperftools ninja makeWrapper ]; + buildInputs = [ gmp mpfr boost cmake python gperftools ninja makeWrapper ]; enableParallelBuilding = true; preConfigure = '' @@ -26,11 +26,11 @@ stdenv.mkDerivation rec { wrapProgram $out/bin/linja --prefix PATH : $out/bin:${ninja}/bin ''; - meta = { + meta = with stdenv.lib; { description = "Automatic and interactive theorem prover"; homepage = "http://leanprover.github.io"; - license = stdenv.lib.licenses.asl20; - platforms = stdenv.lib.platforms.unix; - maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + license = licenses.asl20; + platforms = platforms.unix; + maintainers = with maintainers; [ thoughtpolice gebner ]; }; } |