2023-11-18 21:13:54 +00:00
|
|
|
{"version": 7,
|
|
|
|
|
"packagesDir": ".lake/packages",
|
2022-12-02 16:55:27 +00:00
|
|
|
"packages":
|
2023-11-18 21:13:54 +00:00
|
|
|
[{"url": "https://github.com/xubaiw/CMark.lean",
|
|
|
|
|
"type": "git",
|
|
|
|
|
"subDir": null,
|
|
|
|
|
"rev": "0077cbbaa92abf855fc1c0413e158ffd8195ec77",
|
|
|
|
|
"name": "CMark",
|
|
|
|
|
"manifestFile": "lake-manifest.json",
|
|
|
|
|
"inputRev": "main",
|
|
|
|
|
"inherited": false,
|
|
|
|
|
"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": false,
|
|
|
|
|
"configFile": "lakefile.lean"},
|
|
|
|
|
{"url": "https://github.com/mhuisi/lean4-cli",
|
|
|
|
|
"type": "git",
|
|
|
|
|
"subDir": null,
|
|
|
|
|
"rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
|
|
|
|
|
"name": "Cli",
|
|
|
|
|
"manifestFile": "lake-manifest.json",
|
|
|
|
|
"inputRev": "nightly",
|
|
|
|
|
"inherited": false,
|
|
|
|
|
"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": false,
|
|
|
|
|
"configFile": "lakefile.lean"}],
|
|
|
|
|
"name": "«doc-gen4»",
|
|
|
|
|
"lakeDir": ".lake"}
|
