diff options
| author | Malte Voos <git@mal.tc> | 2025-04-11 01:11:46 +0200 |
|---|---|---|
| committer | Malte Voos <git@mal.tc> | 2025-04-15 21:41:46 +0200 |
| commit | 52fc07062e41d9b9c00edf7e48187bd4058cdb93 (patch) | |
| tree | afb0d5e0dd6c753689685a0e5e9096c133205dd9 /lake-manifest.json | |
| download | lean-brooks-52fc07062e41d9b9c00edf7e48187bd4058cdb93.tar.gz lean-brooks-52fc07062e41d9b9c00edf7e48187bd4058cdb93.zip | |
init main
Diffstat (limited to 'lake-manifest.json')
| -rw-r--r-- | lake-manifest.json | 95 |
1 files changed, 95 insertions, 0 deletions
diff --git a/lake-manifest.json b/lake-manifest.json new file mode 100644 index 0000000..e3283a2 --- /dev/null +++ b/lake-manifest.json @@ -0,0 +1,95 @@ +{"version": "1.1.0", + "packagesDir": ".lake/packages", + "packages": + [{"url": "https://github.com/leanprover-community/mathlib4", + "type": "git", + "subDir": null, + "scope": "leanprover-community", + "rev": "aa936c36e8484abd300577139faf8e945850831a", + "name": "mathlib", + "manifestFile": "lake-manifest.json", + "inputRev": "v4.18.0", + "inherited": false, + "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": "8d29bc2c3ebe1f863c2f02df816b4f3dd1b65226", + "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": "c96401869916619b86e2e54dbb8e8488bd6dd19c", + "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": "ecaaeb0b44a8d5784f17bd417e83f44c906804ab", + "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": "0e05c2f090b7dd7a2f530bdc48a26b546f4837c7", + "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": "613510345e4d4b3ce3d8c129595e7241990d5b39", + "name": "batteries", + "manifestFile": "lake-manifest.json", + "inputRev": "main", + "inherited": true, + "configFile": "lakefile.toml"}, + {"url": "https://github.com/leanprover/lean4-cli", + "type": "git", + "subDir": null, + "scope": "leanprover", + "rev": "dd423cf2b153b5b14cb017ee4beae788565a3925", + "name": "Cli", + "manifestFile": "lake-manifest.json", + "inputRev": "main", + "inherited": true, + "configFile": "lakefile.toml"}], + "name": "brooks", + "lakeDir": ".lake"} |