Merge pull request #195 from leanprover-community/bump221028

chore: bump lean 2022-10-28
leanprover-community · Oct 28, 2022 · a6af44b · a6af44b
2 parents a2d64a0 + de25935
commit a6af44b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-10-27
+leanprover/lean4:nightly-2022-10-28
diff --git a/lean_packages/manifest.json b/lean_packages/manifest.json
@@ -1,11 +1,11 @@
 {"version": 2,
  "packages":
  [{"url": "https://github.com/leanprover-community/mathlib4",
-   "rev": "bb3e01e44c6ef6af54dbb40fdf734945445b227c",
+   "rev": "fb1d1c6b2bfeb7530588db4755c8e59f0f9137bf",
    "name": "mathlib",
    "inputRev": "master"},
   {"url": "https://github.com/leanprover/std4",
-   "rev": "f648e43ef696ce1cf7f6ec534ec44c06816380f9",
+   "rev": "439263f585961c94df05c181616b1561063d8f3f",
    "name": "std",
    "inputRev": "main"},
   {"url": "https://github.com/gebner/quote4",
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2022-10-27
		leanprover/lean4:nightly-2022-10-28