@@ -2,13 +2,13 @@
22
33stdenv.mkDerivation rec {
44 name = "lean-${version}";
5− version = "2016-12-08";
5+ version = "2016-12-30";
66
77 src = fetchFromGitHub {
88 owner = "leanprover";
99 repo = "lean";
10− rev = "7b63d6566faaf1dc0f2c8e873c61f51dce9ab618";
11− sha256 = "0xxr7dnh7pmdbpxhl3cq9clwamxjk54zcxplsrz6xirk0qy7ga4l";
10+ rev = "fd4fffea27c442b12a45f664a8680ebb47482ca3";
11+ sha256 = "1izbjxbr1nvv5kv2b7qklqjx2b1qmwrxhmvk0f2lrl9pxz9h0bmd";
1212 };
1313
1414 buildInputs = [ gmp mpfr cmake gperftools ];