Skip to content

Commit 4bc9bc0

Browse files
SmaniaDSmaniaD
committed
Create lake-manifest.json
1 parent 53a7cd2 commit 4bc9bc0

1 file changed

Lines changed: 153 additions & 0 deletions

File tree

‎docbuild/lake-manifest.json‎

Lines changed: 153 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,153 @@
1+
{"version": "1.2.0",
2+
"packagesDir": "../.lake/packages",
3+
"packages":
4+
[{"type": "path",
5+
"scope": "",
6+
"name": "«Your Library Name»",
7+
"manifestFile": "lake-manifest.json",
8+
"inherited": false,
9+
"dir": "../",
10+
"configFile": "lakefile.toml"},
11+
{"url": "https://github.com/leanprover/doc-gen4",
12+
"type": "git",
13+
"subDir": null,
14+
"scope": "leanprover",
15+
"rev": "d555f83e82831466ec101c9753450e8b4ec203b4",
16+
"name": "«doc-gen4»",
17+
"manifestFile": "lake-manifest.json",
18+
"inputRev": "main",
19+
"inherited": false,
20+
"configFile": "lakefile.lean"},
21+
{"url": "https://github.com/leanprover-community/mathlib4",
22+
"type": "git",
23+
"subDir": null,
24+
"scope": "leanprover-community",
25+
"rev": "686c76b39dab044f7548552a8cfa9d01633ae3aa",
26+
"name": "mathlib",
27+
"manifestFile": "lake-manifest.json",
28+
"inputRev": "master",
29+
"inherited": true,
30+
"configFile": "lakefile.lean"},
31+
{"url": "https://github.com/leanprover-community/plausible",
32+
"type": "git",
33+
"subDir": null,
34+
"scope": "leanprover-community",
35+
"rev": "293af9b2a383eed4d04d66b898d608d0a44b750f",
36+
"name": "plausible",
37+
"manifestFile": "lake-manifest.json",
38+
"inputRev": "main",
39+
"inherited": true,
40+
"configFile": "lakefile.toml"},
41+
{"url": "https://github.com/leanprover-community/LeanSearchClient",
42+
"type": "git",
43+
"subDir": null,
44+
"scope": "leanprover-community",
45+
"rev": "c5d5b8fe6e5158def25cd28eb94e4141ad97c843",
46+
"name": "LeanSearchClient",
47+
"manifestFile": "lake-manifest.json",
48+
"inputRev": "main",
49+
"inherited": true,
50+
"configFile": "lakefile.toml"},
51+
{"url": "https://github.com/leanprover-community/import-graph",
52+
"type": "git",
53+
"subDir": null,
54+
"scope": "leanprover-community",
55+
"rev": "fd70b40073aeca8fa60fe0fb492f189d3b12c0ef",
56+
"name": "importGraph",
57+
"manifestFile": "lake-manifest.json",
58+
"inputRev": "main",
59+
"inherited": true,
60+
"configFile": "lakefile.toml"},
61+
{"url": "https://github.com/leanprover-community/ProofWidgets4",
62+
"type": "git",
63+
"subDir": null,
64+
"scope": "leanprover-community",
65+
"rev": "2db6054a44326f8c0230ee0570e2ddb894816511",
66+
"name": "proofwidgets",
67+
"manifestFile": "lake-manifest.json",
68+
"inputRev": "v0.0.98",
69+
"inherited": true,
70+
"configFile": "lakefile.lean"},
71+
{"url": "https://github.com/leanprover-community/aesop",
72+
"type": "git",
73+
"subDir": null,
74+
"scope": "leanprover-community",
75+
"rev": "f0c6e183ea26531e82773feb4b73ab6595ca17a5",
76+
"name": "aesop",
77+
"manifestFile": "lake-manifest.json",
78+
"inputRev": "v4.30.0-rc2",
79+
"inherited": true,
80+
"configFile": "lakefile.toml"},
81+
{"url": "https://github.com/leanprover-community/quote4",
82+
"type": "git",
83+
"subDir": null,
84+
"scope": "leanprover-community",
85+
"rev": "1cc7e819b9b9bc1e87c9edcccb62e0269e00a809",
86+
"name": "Qq",
87+
"manifestFile": "lake-manifest.json",
88+
"inputRev": "v4.30.0-rc2",
89+
"inherited": true,
90+
"configFile": "lakefile.toml"},
91+
{"url": "https://github.com/leanprover-community/batteries",
92+
"type": "git",
93+
"subDir": null,
94+
"scope": "leanprover-community",
95+
"rev": "5c57f3857ba81924a88b2cdf4f062e34ec04ff11",
96+
"name": "batteries",
97+
"manifestFile": "lake-manifest.json",
98+
"inputRev": "v4.30.0-rc2",
99+
"inherited": true,
100+
"configFile": "lakefile.toml"},
101+
{"url": "https://github.com/leanprover/lean4-cli",
102+
"type": "git",
103+
"subDir": null,
104+
"scope": "leanprover",
105+
"rev": "13567aed1ac4f12aea9484178e07e51f8c9f7658",
106+
"name": "Cli",
107+
"manifestFile": "lake-manifest.json",
108+
"inputRev": "v4.30.0-rc2",
109+
"inherited": true,
110+
"configFile": "lakefile.toml"},
111+
{"url": "https://github.com/leanprover/leansqlite",
112+
"type": "git",
113+
"subDir": null,
114+
"scope": "",
115+
"rev": "4f69cfe63060a8bf6e1080b610f88c7b295629bf",
116+
"name": "leansqlite",
117+
"manifestFile": "lake-manifest.json",
118+
"inputRev": "main",
119+
"inherited": true,
120+
"configFile": "lakefile.lean"},
121+
{"url": "https://github.com/fgdorais/lean4-unicode-basic",
122+
"type": "git",
123+
"subDir": null,
124+
"scope": "",
125+
"rev": "603cc6effaf17675bcfc45143fef38130545291d",
126+
"name": "UnicodeBasic",
127+
"manifestFile": "lake-manifest.json",
128+
"inputRev": "main",
129+
"inherited": true,
130+
"configFile": "lakefile.lean"},
131+
{"url": "https://github.com/dupuisf/BibtexQuery",
132+
"type": "git",
133+
"subDir": null,
134+
"scope": "",
135+
"rev": "5d31b64fb703c5d77f6ef4d1fb958f9bdf1ea539",
136+
"name": "BibtexQuery",
137+
"manifestFile": "lake-manifest.json",
138+
"inputRev": "nightly-testing",
139+
"inherited": true,
140+
"configFile": "lakefile.toml"},
141+
{"url": "https://github.com/acmepjz/md4lean",
142+
"type": "git",
143+
"subDir": null,
144+
"scope": "",
145+
"rev": "6a3fb240133bcb7e1a066fdc784b3fdc304e3fc5",
146+
"name": "MD4Lean",
147+
"manifestFile": "lake-manifest.json",
148+
"inputRev": "main",
149+
"inherited": true,
150+
"configFile": "lakefile.lean"}],
151+
"name": "docbuild",
152+
"lakeDir": ".lake",
153+
"fixedToolchain": false}

0 commit comments

Comments
 (0)