Bump

fpvandoorn · Jul 7, 2024 · 1d27ace · 1d27ace
1 parent 0497e93
commit 1d27ace
Showing 1 changed file with 36 additions and 36 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "26b4e42e8e9c45c3ded44a4d161161bef430d446",
+   "rev": "deb5bd446a108da8aa8c1a1b62dd50722b961b73",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d366a602cc4a325a6f9db3a3991dfa6d6cf409c5",
+   "rev": "68b518c9b352fbee16e6d632adcb7a6d0760e2b7",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,41 +65,41 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "5943c0906d60d948ae848bd38430dc79ab013aa6",
+   "rev": "38e09f6c5663173303181f2e3ac0c922f9f2eb2f",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "master",
+   "inputRev": null,
    "inherited": false,
    "configFile": "lakefile.lean"},
-  {"url": "https://github.com/acmepjz/md4lean",
-   "type": "git",
-   "subDir": null,
-   "scope": "",
-   "rev": "9148a0a7506099963925cf239c491fcda5ed0044",
-   "name": "MD4Lean",
-   "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
-   "inherited": true,
-   "configFile": "lakefile.lean"},
-  {"url": "https://github.com/fgdorais/lean4-unicode-basic",
-   "type": "git",
-   "subDir": null,
-   "scope": "",
-   "rev": "c74a052aebee847780e165611099854de050adf7",
-   "name": "UnicodeBasic",
-   "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
-   "inherited": true,
-   "configFile": "lakefile.lean"},
-  {"url": "https://github.com/leanprover/doc-gen4",
-   "type": "git",
-   "subDir": null,
-   "scope": "",
-   "rev": "7aa0886dc3f8dd486e00c19589d28c5bc0d7d860",
-   "name": "«doc-gen4»",
-   "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
-   "inherited": false,
-   "configFile": "lakefile.lean"}],
- "name": "bonnAnalysis",
- "lakeDir": ".lake"}
+   {"url": "https://github.com/acmepjz/md4lean",
+    "type": "git",
+    "subDir": null,
+    "scope": "",
+    "rev": "9148a0a7506099963925cf239c491fcda5ed0044",
+    "name": "MD4Lean",
+    "manifestFile": "lake-manifest.json",
+    "inputRev": "main",
+    "inherited": true,
+    "configFile": "lakefile.lean"},
+   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
+    "type": "git",
+    "subDir": null,
+    "scope": "",
+    "rev": "c74a052aebee847780e165611099854de050adf7",
+    "name": "UnicodeBasic",
+    "manifestFile": "lake-manifest.json",
+    "inputRev": "main",
+    "inherited": true,
+    "configFile": "lakefile.lean"},
+   {"url": "https://github.com/leanprover/doc-gen4",
+    "type": "git",
+    "subDir": null,
+    "scope": "",
+    "rev": "d1be57c7fbd80ac20584ed0a86a2165c62cd993b",
+    "name": "«doc-gen4»",
+    "manifestFile": "lake-manifest.json",
+    "inputRev": "main",
+    "inherited": false,
+    "configFile": "lakefile.lean"}],
+  "name": "carleson",
+  "lakeDir": ".lake"}