diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2017-01-20 10:59:54 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2017-01-20 10:59:54 +0100 |
| commit | 6c9f4a61be48fa10dbed04b7f795003d54193080 (patch) | |
| tree | af4febf49aa86e43a469eaa82e848832576d10a3 /pkgs/applications/science/logic | |
| parent | c50361b91ac0cb0502b8dcb1da502e1ea1cfcbdb (diff) | |
| download | nixpkgs-6c9f4a61be48fa10dbed04b7f795003d54193080.tar nixpkgs-6c9f4a61be48fa10dbed04b7f795003d54193080.tar.gz nixpkgs-6c9f4a61be48fa10dbed04b7f795003d54193080.tar.bz2 nixpkgs-6c9f4a61be48fa10dbed04b7f795003d54193080.tar.lz nixpkgs-6c9f4a61be48fa10dbed04b7f795003d54193080.tar.xz nixpkgs-6c9f4a61be48fa10dbed04b7f795003d54193080.tar.zst nixpkgs-6c9f4a61be48fa10dbed04b7f795003d54193080.zip | |
lean: 2017-01-14 -> 3.0.0
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index 52cdca0b169..b6de57951ca 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 = "2017-01-14"; + version = "3.0.0"; src = fetchFromGitHub { owner = "leanprover"; repo = "lean"; - rev = "6e9a6d15dbfba3e8a1560d2cfcdbc7d81314d7bb"; - sha256 = "0wi1jssj1bi45rji4prlnvzs8nr48mqnj9yg5vnhah4rsjwl20km"; + rev = "v${version}"; + sha256 = "1ds25213vir8llans7na3laqs8rgr06clgp9xzq8akiwfy87b74i"; }; buildInputs = [ gmp mpfr cmake gperftools ]; |