Merge pull request #90397 from r-ryantm/auto-update/lean

lean: 3.15.0 -> 3.16.2
2020-06-14 21:54:32 +02:00
parent e97e3b8641 e63bfcef96
commit 5a2ac6d8e2
1 changed files with 2 additions and 2 deletions
--- 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.15.0";
+  version = "3.16.2";

  src = fetchFromGitHub {
    owner  = "leanprover-community";
    repo   = "lean";
    rev    = "v${version}";
-    sha256 = "0fl8v8n53fr5qdnabici1mj3zpmjrkssx970y3q4m48s68q665v6";
+    sha256 = "0fvm7gvbr5kn258sqpnxa7dvzz84iv1dx1n066vih5gz80plz4lh";
  };

  nativeBuildInputs = [ cmake ];