bump

leanprover-community · Nov 27, 2023 · dbe341d · dbe341d
1 parent 1eac0e0
commit dbe341d
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"url": "https://github.com/leanprover/std4",
    "type": "git",
    "subDir": null,
-   "rev": "e403f680f0beb8610c29e6f799132e8be880554e",
+   "rev": "a652e09bd81bcb43ea132d64ecc16580b0c7fa50",
    "name": "std",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -22,7 +22,7 @@
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
-   "rev": "bf5ab42a58e71de7ebad399ce3f90d29aae7fca9",
+   "rev": "c7cff4551258d31c0d2d453b3f9cbca757d445f1",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -49,7 +49,7 @@
   {"url": "https://github.com/leanprover-community/mathlib4.git",
    "type": "git",
    "subDir": null,
-   "rev": "c26fbb123f5a4e5450ade6106621ace5f5029236",
+   "rev": "83d4f222771f491b351d70b070406481f5d2b2ba",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
@@ -85,7 +85,7 @@
   {"url": "https://github.com/leanprover/doc-gen4",
    "type": "git",
    "subDir": null,
-   "rev": "e966ab85230885a8798408ccf468665db84b7506",
+   "rev": "3cc5df1be7f6db5ac13f26edda3fc258e199ab5f",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",