pyrox.dev
nixpkgs: lean 20150328 -> 20150821
Signed-off-by: Austin Seipp <aseipp@pobox.com>
+4
-3
pkgs/applications/science/logic/lean/default.nix
+4
-3
pkgs/applications/science/logic/lean/default.nix
···
2
, gperftools, ninja }:
3
4
stdenv.mkDerivation rec {
5
-
name = "lean-20150328";
6
7
src = fetchFromGitHub {
8
owner = "leanprover";
9
repo = "lean";
10
-
rev = "1b15036dba469020d37f7d6b77b88974d8a36cb1";
11
-
sha256 = "0w38g83gp7d3ybfiz9jpl2jz3ljad70bxmar0dnnv45wx42clg96";
12
};
13
14
buildInputs = [ gmp mpfr luajit boost cmake python gperftools ninja ];
···
2
, gperftools, ninja }:
3
4
stdenv.mkDerivation rec {
5
+
name = "lean-${version}";
6
+
version = "20150821";
7
8
src = fetchFromGitHub {
9
owner = "leanprover";
10
repo = "lean";
11
+
rev = "453bd2341dac51e50d9bff07d5ff6c9c3fb3ba0b";
12
+
sha256 = "1hmga5my123sra873iyqc7drj4skny4hnhsasaxjkmmdhmj1zpka";
13
};
14
15
buildInputs = [ gmp mpfr luajit boost cmake python gperftools ninja ];