diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2016-12-31 13:51:10 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2016-12-31 13:51:10 +0100 |
| commit | 68b2d43c883e1f402c856696834691a2419ef063 (patch) | |
| tree | c059f4267026c414d85eb1043c0cf5bc34a5df59 /pkgs/applications/science | |
| parent | 76923648afac56e817018e0903d6425b3455f201 (diff) | |
| download | nixlib-68b2d43c883e1f402c856696834691a2419ef063.tar nixlib-68b2d43c883e1f402c856696834691a2419ef063.tar.gz nixlib-68b2d43c883e1f402c856696834691a2419ef063.tar.bz2 nixlib-68b2d43c883e1f402c856696834691a2419ef063.tar.lz nixlib-68b2d43c883e1f402c856696834691a2419ef063.tar.xz nixlib-68b2d43c883e1f402c856696834691a2419ef063.tar.zst nixlib-68b2d43c883e1f402c856696834691a2419ef063.zip | |
lean: 2016-12-08 -> 2016-12-30
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 d1f4bc0a4145..af338338550f 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-08"; + version = "2016-12-30"; src = fetchFromGitHub { owner = "leanprover"; repo = "lean"; - rev = "7b63d6566faaf1dc0f2c8e873c61f51dce9ab618"; - sha256 = "0xxr7dnh7pmdbpxhl3cq9clwamxjk54zcxplsrz6xirk0qy7ga4l"; + rev = "fd4fffea27c442b12a45f664a8680ebb47482ca3"; + sha256 = "1izbjxbr1nvv5kv2b7qklqjx2b1qmwrxhmvk0f2lrl9pxz9h0bmd"; }; buildInputs = [ gmp mpfr cmake gperftools ]; |