From 6c8b79a5394ab888ae1fec8d3bec07fc35093793 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Fri, 28 Oct 2022 23:47:09 +0200 Subject: [PATCH] chore: update toolchain --- lean-toolchain | 2 +- lean_packages/manifest.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lean-toolchain b/lean-toolchain index 253e244..0669e0c 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2022-10-20 +leanprover/lean4:nightly-2022-10-28 diff --git a/lean_packages/manifest.json b/lean_packages/manifest.json index 5daf74a..4f317fa 100644 --- a/lean_packages/manifest.json +++ b/lean_packages/manifest.json @@ -13,7 +13,7 @@ "name": "Unicode", "inputRev": "main"}, {"url": "https://github.com/leanprover/lake", - "rev": "c5a8ec5bc5d160da0aef5084a7257df9e653cbe7", + "rev": "004034496ef84b21976a940edc65f335340bd2ec", "name": "lake", "inputRev": "master"}, {"url": "https://github.com/xubaiw/CMark.lean",