23 lines
776 B
JSON
23 lines
776 B
JSON
{"version": 2,
|
|
"packages":
|
|
[{"url": "https://github.com/mhuisi/lean4-cli",
|
|
"rev": "b88b0ab3ad5f1352d107d3e8740ff15dc1fbb5b1",
|
|
"name": "Cli",
|
|
"inputRev": "nightly"},
|
|
{"url": "https://github.com/hargonix/LeanInk",
|
|
"rev": "9f3101452135964ac9107ec8e9910bfd14022bbc",
|
|
"name": "leanInk",
|
|
"inputRev": "doc-gen"},
|
|
{"url": "https://github.com/xubaiw/Unicode.lean",
|
|
"rev": "6dd6ae3a3839c8350a91876b090eda85cf538d1d",
|
|
"name": "Unicode",
|
|
"inputRev": "main"},
|
|
{"url": "https://github.com/leanprover/lake",
|
|
"rev": "c5a8ec5bc5d160da0aef5084a7257df9e653cbe7",
|
|
"name": "lake",
|
|
"inputRev": "master"},
|
|
{"url": "https://github.com/xubaiw/CMark.lean",
|
|
"rev": "2cc7cdeef67184f84db6731450e4c2b258c28fe8",
|
|
"name": "CMark",
|
|
"inputRev": "main"}]}
|