diff options
| author | Junyoung Clare Jang <jjc9310@gmail.com> | 2020-02-15 02:13:17 -0500 |
|---|---|---|
| committer | Junyoung Clare Jang <jjc9310@gmail.com> | 2020-02-15 02:29:12 -0500 |
| commit | b71c03e4836c251ee344fc57a9ad2e4ff16ebd46 (patch) | |
| tree | b8bb861f877c2bce5c6127b9938349fecd8a5715 /pkgs/applications/science | |
| parent | 6f24be13ee1e28fb48dbd8cdc59edbf51633cbec (diff) | |
| download | nixlib-b71c03e4836c251ee344fc57a9ad2e4ff16ebd46.tar nixlib-b71c03e4836c251ee344fc57a9ad2e4ff16ebd46.tar.gz nixlib-b71c03e4836c251ee344fc57a9ad2e4ff16ebd46.tar.bz2 nixlib-b71c03e4836c251ee344fc57a9ad2e4ff16ebd46.tar.lz nixlib-b71c03e4836c251ee344fc57a9ad2e4ff16ebd46.tar.xz nixlib-b71c03e4836c251ee344fc57a9ad2e4ff16ebd46.tar.zst nixlib-b71c03e4836c251ee344fc57a9ad2e4ff16ebd46.zip | |
lean: 3.4.2 -> 3.5.1
3.4.2 is not compilable with GCC >= 9.1
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index 9bf54a5f0940..726bac5c50e2 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "lean"; - version = "3.4.2"; + version = "3.5.1"; src = fetchFromGitHub { - owner = "leanprover"; + owner = "leanprover-community"; repo = "lean"; rev = "v${version}"; - sha256 = "0zpnfg6kyg120rrdr336i1lymmzz4xgcqpn96iavhzhlaanmx55l"; + sha256 = "0m7knf1hfbn2v6p6kmqxlx8c40p5nzv8d975w2xwljaccc42j1yp"; }; nativeBuildInputs = [ cmake ]; @@ -27,3 +27,4 @@ stdenv.mkDerivation rec { maintainers = with maintainers; [ thoughtpolice gebner ]; }; } + |