diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2017-02-26 08:50:15 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2017-02-26 08:50:15 +0100 |
| commit | cc647804f10aedc2a61ce344ab8bf336f55fdd27 (patch) | |
| tree | 4a56347a7312b94f875158e17c5f5a66d69b12e6 /pkgs/applications | |
| parent | 2f36be3816c997d829f1d0488400b087addcc996 (diff) | |
lean: 3.0.0 -> 3.1.0
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index b6de57951caee..a863b01f43aed 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -1,17 +1,17 @@ -{ stdenv, fetchFromGitHub, cmake, gmp, mpfr, gperftools }: +{ stdenv, fetchFromGitHub, cmake, gmp }: stdenv.mkDerivation rec { name = "lean-${version}"; - version = "3.0.0"; + version = "3.1.0"; src = fetchFromGitHub { owner = "leanprover"; repo = "lean"; rev = "v${version}"; - sha256 = "1ds25213vir8llans7na3laqs8rgr06clgp9xzq8akiwfy87b74i"; + sha256 = "0w4cdai6mzx4wr7gscv4sl5q4mxx1agjbpp4smvrslav7gpbz025"; }; - buildInputs = [ gmp mpfr cmake gperftools ]; + buildInputs = [ gmp cmake ]; enableParallelBuilding = true; preConfigure = '' |