60 lines
1.7 KiB
JSON
60 lines
1.7 KiB
JSON
{"version": 5,
|
|
"packagesDir": "lake-packages",
|
|
"packages":
|
|
[{"git":
|
|
{"url": "https://github.com/EdAyers/ProofWidgets4",
|
|
"subDir?": null,
|
|
"rev": "a0c2cd0ac3245a0dade4f925bcfa97e06dd84229",
|
|
"opts": {},
|
|
"name": "proofwidgets",
|
|
"inputRev?": "v0.0.13",
|
|
"inherited": true}},
|
|
{"git":
|
|
{"url": "https://github.com/mhuisi/lean4-cli.git",
|
|
"subDir?": null,
|
|
"rev": "21dac2e9cc7e3cf7da5800814787b833e680b2fd",
|
|
"opts": {},
|
|
"name": "Cli",
|
|
"inputRev?": "nightly",
|
|
"inherited": true}},
|
|
{"git":
|
|
{"url": "https://github.com/leanprover-community/mathlib4",
|
|
"subDir?": null,
|
|
"rev": "7d308680dc444730e84a86c72357ad9a7aea9c4b",
|
|
"opts": {},
|
|
"name": "mathlib",
|
|
"inputRev?": "7d308680dc444730e84a86c72357ad9a7aea9c4b",
|
|
"inherited": false}},
|
|
{"git":
|
|
{"url": "https://github.com/gebner/quote4",
|
|
"subDir?": null,
|
|
"rev": "e75daed95ad1c92af4e577fea95e234d7a8401c1",
|
|
"opts": {},
|
|
"name": "Qq",
|
|
"inputRev?": "master",
|
|
"inherited": true}},
|
|
{"git":
|
|
{"url": "https://github.com/JLimperg/aesop",
|
|
"subDir?": null,
|
|
"rev": "1a0cded2be292b5496e659b730d2accc742de098",
|
|
"opts": {},
|
|
"name": "aesop",
|
|
"inputRev?": "master",
|
|
"inherited": true}},
|
|
{"git":
|
|
{"url": "https://github.com/leanprover-community/lean4game.git",
|
|
"subDir?": "server",
|
|
"rev": "5c919fb983250909e83f5454ed19693b099c090e",
|
|
"opts": {},
|
|
"name": "GameServer",
|
|
"inputRev?": "5c919fb983250909e83f5454ed19693b099c090e",
|
|
"inherited": false}},
|
|
{"git":
|
|
{"url": "https://github.com/leanprover/std4",
|
|
"subDir?": null,
|
|
"rev": "e8c27f7d90ee71470558efd1bc197fe55068c748",
|
|
"opts": {},
|
|
"name": "std",
|
|
"inputRev?": "main",
|
|
"inherited": true}}]}
|