135 lines
4.2 KiB
JSON
135 lines
4.2 KiB
JSON
{"version": "1.1.0",
|
|
"packagesDir": ".lake/packages",
|
|
"packages":
|
|
[{"url": "https://github.com/leanprover/doc-gen4",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "1b489cdbe4bc57a6acdddb9a5dc5699acacdecdd",
|
|
"name": "«doc-gen4»",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "v4.18.0-rc1",
|
|
"inherited": false,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/leanprover-community/mathlib4.git",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "6cecf71a82a22ea7c01598800e12f3e8eb66894b",
|
|
"name": "mathlib",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "v4.18.0-rc1",
|
|
"inherited": false,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/mhuisi/lean4-cli",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "dd423cf2b153b5b14cb017ee4beae788565a3925",
|
|
"name": "Cli",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"},
|
|
{"url": "https://github.com/jcommelin/lean4-unicode-basic",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "458e2d3feda3999490987eabee57b8bb88b1949c",
|
|
"name": "UnicodeBasic",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "bump_to_v4.18.0-rc1",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/dupuisf/BibtexQuery",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "c07de335d35ed6b118e084ec48cffc39b40d29d2",
|
|
"name": "BibtexQuery",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "master",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"},
|
|
{"url": "https://github.com/acmepjz/md4lean",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "7cf25ec0edf7a72830379ee227eefdaa96c48cfb",
|
|
"name": "MD4Lean",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/leanprover-community/plausible",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "ebfb31672ab0a5b6d00a018ff67d2ec51ed66f3a",
|
|
"name": "plausible",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"},
|
|
{"url": "https://github.com/leanprover-community/LeanSearchClient",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "0c169a0d55fef3763cfb3099eafd7b884ec7e41d",
|
|
"name": "LeanSearchClient",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"},
|
|
{"url": "https://github.com/leanprover-community/import-graph",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "08372f1ec11df288ff76621ead7b0b575cb29355",
|
|
"name": "importGraph",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"},
|
|
{"url": "https://github.com/leanprover-community/ProofWidgets4",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "a602d13aca2913724c7d47b2d7df0353620c4ee8",
|
|
"name": "proofwidgets",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "v0.0.53",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/leanprover-community/aesop",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "ec060e0e10c685be8af65f288e23d026c9fde245",
|
|
"name": "aesop",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "master",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"},
|
|
{"url": "https://github.com/leanprover-community/quote4",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "d892d7a88ad0ccf748fb8e651308ccd13426ba73",
|
|
"name": "Qq",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "master",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"},
|
|
{"url": "https://github.com/leanprover-community/batteries",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "092b30de8e7ee78e96b24c235d99e26f2942d77e",
|
|
"name": "batteries",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"}],
|
|
"name": "PhysLean",
|
|
"lakeDir": ".lake"}
|