git.iko.soy/typeable/nixpkgs
on master help sign in
lean: 2016-12-08 -> 2016-12-30
68b2d43Gabriel Ebner
pkgs/applications/science/logic/lean/default.nix+3−3
compare with master
unifiedsplit
@@ -2,13 +2,13 @@
2
2
3stdenv.mkDerivation rec {
3stdenv.mkDerivation rec {
4 name = "lean-${version}";
4 name = "lean-${version}";
5− version = "2016-12-08";
5+ version = "2016-12-30";
6
6
7 src = fetchFromGitHub {
7 src = fetchFromGitHub {
8 owner = "leanprover";
8 owner = "leanprover";
9 repo = "lean";
9 repo = "lean";
10− rev = "7b63d6566faaf1dc0f2c8e873c61f51dce9ab618";
10+ rev = "fd4fffea27c442b12a45f664a8680ebb47482ca3";
11− sha256 = "0xxr7dnh7pmdbpxhl3cq9clwamxjk54zcxplsrz6xirk0qy7ga4l";
11+ sha256 = "1izbjxbr1nvv5kv2b7qklqjx2b1qmwrxhmvk0f2lrl9pxz9h0bmd";
12 };
12 };
13
13
14 buildInputs = [ gmp mpfr cmake gperftools ];
14 buildInputs = [ gmp mpfr cmake gperftools ];