diff options
author | Gabriel Ebner <gebner@gebner.org> | 2016-12-08 10:08:29 -0500 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2016-12-08 10:30:28 -0500 |
commit | ce2a9a8f9b5ef229c18abedda63739f3886625cc (patch) | |
tree | 2f356b54bdd3771f9da0d2b6fd8fc91ae41019b8 /pkgs/applications/science/logic | |
parent | 65778e7c599769e5152db60ddb69a389385f0925 (diff) | |
download | nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.gz nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.bz2 nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.lz nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.xz nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.zst nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.zip |
lean2: 2016-07-05 -> 2016-11-29
Renamed from lean since upstream renamed it as well. The lean attribute in nixpkgs will now refer to the new lean 3 version.
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/lean2/default.nix (renamed from pkgs/applications/science/logic/lean/default.nix) | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean2/default.nix index e833b4afbbd2..a938af72f587 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean2/default.nix @@ -2,17 +2,17 @@ , gperftools, ninja, makeWrapper }: stdenv.mkDerivation rec { - name = "lean-${version}"; - version = "2016-07-05"; + name = "lean2-${version}"; + version = "2016-11-29"; src = fetchFromGitHub { owner = "leanprover"; - repo = "lean"; - rev = "cc70845332e63a1f1be21dc1f96d17269fc85909"; - sha256 = "09qz2vjw7whiggvw0cdaa4i2f49wnch2sd4r43glq181ssln27d6"; + repo = "lean2"; + rev = "a086fb334838c427bbc8f984eb44a4cbbe013a6b"; + sha256 = "0qlvhnb37amclgcyizl8bfab33b0a3jk54br9gsrik8cq76lkwwx"; }; - buildInputs = [ gmp mpfr boost cmake python gperftools ninja makeWrapper ]; + buildInputs = [ gmp mpfr cmake python gperftools ninja makeWrapper ]; enableParallelBuilding = true; preConfigure = '' @@ -25,7 +25,7 @@ stdenv.mkDerivation rec { ''; meta = with stdenv.lib; { - description = "Automatic and interactive theorem prover"; + description = "Automatic and interactive theorem prover (version with HoTT support)"; homepage = "http://leanprover.github.io"; license = licenses.asl20; platforms = platforms.unix; |