lake -R -Kenv=dev update «doc-gen4»

ImperialCollegeLondon · Nov 25, 2023 · 06bb79d · 06bb79d
1 parent 48860d8
commit 06bb79d
Showing 1 changed file with 36 additions and 0 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -54,6 +54,42 @@
  "manifestFile": "lake-manifest.json",
  "inputRev": null,
  "inherited": false,
+ "configFile": "lakefile.lean"},
+ {"url": "https://github.com/xubaiw/CMark.lean",
+ "type": "git",
+ "subDir": null,
+ "rev": "0077cbbaa92abf855fc1c0413e158ffd8195ec77",
+ "name": "CMark",
+ "manifestFile": "lake-manifest.json",
+ "inputRev": "main",
+ "inherited": true,
+ "configFile": "lakefile.lean"},
+ {"url": "https://github.com/fgdorais/lean4-unicode-basic",
+ "type": "git",
+ "subDir": null,
+ "rev": "280d75fdfe7be8eb337be7f1bf8479b4aac09f71",
+ "name": "UnicodeBasic",
+ "manifestFile": "lake-manifest.json",
+ "inputRev": "main",
+ "inherited": true,
+ "configFile": "lakefile.lean"},
+ {"url": "https://github.com/hargonix/LeanInk",
+ "type": "git",
+ "subDir": null,
+ "rev": "2447df5cc6e48eb965c3c3fba87e46d353b5e9f1",
+ "name": "leanInk",
+ "manifestFile": "lake-manifest.json",
+ "inputRev": "doc-gen",
+ "inherited": true,
+ "configFile": "lakefile.lean"},
+ {"url": "https://github.com/leanprover/doc-gen4",
+ "type": "git",
+ "subDir": null,
+ "rev": "3cc5df1be7f6db5ac13f26edda3fc258e199ab5f",
+ "name": "«doc-gen4»",
+ "manifestFile": "lake-manifest.json",
+ "inputRev": "main",
+ "inherited": false,
  "configFile": "lakefile.lean"}],
  "name": "FLT",
  "lakeDir": ".lake"}