diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2017-01-06 11:57:40 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2017-01-06 11:57:40 +0100 |
| commit | 74a97421ceaaa609ba94835d7d9a7f25bc592fe6 (patch) | |
| tree | 4c435bd353d2fbe65ed4c583cb924f5f8acaf58f /pkgs/applications/science | |
| parent | 5ebee164fa9fa4f9ed0a52ba86faf845a6c3f172 (diff) | |
| download | nixlib-74a97421ceaaa609ba94835d7d9a7f25bc592fe6.tar nixlib-74a97421ceaaa609ba94835d7d9a7f25bc592fe6.tar.gz nixlib-74a97421ceaaa609ba94835d7d9a7f25bc592fe6.tar.bz2 nixlib-74a97421ceaaa609ba94835d7d9a7f25bc592fe6.tar.lz nixlib-74a97421ceaaa609ba94835d7d9a7f25bc592fe6.tar.xz nixlib-74a97421ceaaa609ba94835d7d9a7f25bc592fe6.tar.zst nixlib-74a97421ceaaa609ba94835d7d9a7f25bc592fe6.zip | |
lean: 2016-12-30 -> 2017-01-06
Diffstat (limited to 'pkgs/applications/science')
| -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 af338338550f..ece867de2a0a 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 = "2016-12-30"; + version = "2017-01-06"; src = fetchFromGitHub { owner = "leanprover"; repo = "lean"; - rev = "fd4fffea27c442b12a45f664a8680ebb47482ca3"; - sha256 = "1izbjxbr1nvv5kv2b7qklqjx2b1qmwrxhmvk0f2lrl9pxz9h0bmd"; + rev = "6f8ccb5873b6f72d735e700e25044e99c6ebb7b6"; + sha256 = "1nxbqdc6faxivbrifb7b9j5zl5kml9w5pa63afh93z2ng7mn0jyg"; }; buildInputs = [ gmp mpfr cmake gperftools ]; |