ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-24 22:27:30 +03:00
Code Issues Projects Releases Wiki Activity

lean2: 2016-11-29 -> 2017-07-22

Browse Source 
This will also fix the build issues with GCC 6.
This commit is contained in:
Gabriel Ebner 2017-08-19 15:24:35 +02:00
parent 0965a3a8a8
commit acf01cbc6c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/lean2/default.nix
View File

@ -3,13 +3,13 @@
stdenv.mkDerivation rec {
name = "lean2-${version}";
version = "2016-11-29";
version = "2017-07-22";
src = fetchFromGitHub {
owner = "leanprover";
repo = "lean2";
rev = "a086fb334838c427bbc8f984eb44a4cbbe013a6b";
sha256 = "0qlvhnb37amclgcyizl8bfab33b0a3jk54br9gsrik8cq76lkwwx";
rev = "34dbd6c3ae612186b8f0f80d12fbf5ae7a059ec9";
sha256 = "1xv3j487zhh1zf2b4v19xzw63s2sgjhg8d62a0kxxyknfmdf3khl";
};
buildInputs = [ gmp mpfr cmake python gperftools ninja makeWrapper ];