bump

leanprover-community · Nov 2, 2023 · 7c64986 · 7c64986
1 parent a5b9cd8
commit 7c64986
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 22 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,59 +4,59 @@
  [{"git":
    {"url": "https://github.com/leanprover-community/mathlib4.git",
     "subDir?": null,
-    "rev": "16ab7ddda2c0da7a003ca155412dda76c670db29",
+    "rev": "726dd08e7eb7c249e8fc658942914384a3a82829",
     "opts": {},
     "name": "mathlib",
     "inputRev?": null,
     "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/doc-gen4",
     "subDir?": null,
-    "rev": "f9d987567129f422ebd8cfac6a1e6233a06c720b",
+    "rev": "8bccb92b531248af1b6692d65486e8640c8bcd10",
     "opts": {},
     "name": "«doc-gen4»",
     "inputRev?": "main",
     "inherited": false}},
   {"git":
-   {"url": "https://github.com/gebner/quote4",
+   {"url": "https://github.com/leanprover/std4",
+    "subDir?": null,
+    "rev": "fb43b83c13d10b90299d10d96512d20d33daa658",
+    "opts": {},
+    "name": "std",
+    "inputRev?": "main",
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/leanprover-community/quote4",
     "subDir?": null,
     "rev": "a387c0eb611857e2460cf97a8e861c944286e6b2",
     "opts": {},
     "name": "Qq",
     "inputRev?": "master",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/JLimperg/aesop",
+   {"url": "https://github.com/leanprover-community/aesop",
     "subDir?": null,
-    "rev": "9dc4a1097a690216eaa7cf2d2290efd447e60d7a",
+    "rev": "ed733adcb79e54e157fafb805ce3518d4411ab70",
     "opts": {},
     "name": "aesop",
     "inputRev?": "master",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/mhuisi/lean4-cli.git",
+   {"url": "https://github.com/leanprover-community/ProofWidgets4",
     "subDir?": null,
-    "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
+    "rev": "f1a5c7808b001305ba07d8626f45ee054282f589",
     "opts": {},
-    "name": "Cli",
-    "inputRev?": "nightly",
+    "name": "proofwidgets",
+    "inputRev?": "v0.0.21",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/leanprover/std4",
+   {"url": "https://github.com/leanprover/lean4-cli",
     "subDir?": null,
-    "rev": "d83bd039e6e26efc721cd51929659418ad0329df",
+    "rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec",
     "opts": {},
-    "name": "std",
+    "name": "Cli",
     "inputRev?": "main",
     "inherited": true}},
-  {"git":
-   {"url": "https://github.com/EdAyers/ProofWidgets4",
-    "subDir?": null,
-    "rev": "27715d1daf32b9657dc38cd52172d77b19bde4ba",
-    "opts": {},
-    "name": "proofwidgets",
-    "inputRev?": "v0.0.17",
-    "inherited": true}},
   {"git":
    {"url": "https://github.com/xubaiw/CMark.lean",
     "subDir?": null,
@@ -81,4 +81,4 @@
     "name": "leanInk",
     "inputRev?": "doc-gen",
     "inherited": true}}],
- "name": "FltRegular"}
+ "name": "«flt-regular»"}
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.2.0-rc4
+leanprover/lean4:v4.3.0-rc1
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:v4.2.0-rc4
		leanprover/lean4:v4.3.0-rc1