-
Notifications
You must be signed in to change notification settings - Fork 0
/
lake-manifest.json
41 lines (41 loc) · 1.22 KB
/
lake-manifest.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
{"version": 7,
"packagesDir": ".lake/packages",
"packages":
[{"url": "https://github.com/leanprover/std4",
"type": "git",
"subDir": null,
"rev": "af7f36db6e7e9e395710a70635f915e8e3a0e69b",
"name": "std",
"manifestFile": "lake-manifest.json",
"inputRev": "v4.4.0",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/JLimperg/aesop",
"type": "git",
"subDir": null,
"rev": "69404390bdc1de946bf0a2e51b1a69f308e56d7a",
"name": "aesop",
"manifestFile": "lake-manifest.json",
"inputRev": "master",
"inherited": true,
"configFile": "lakefile.lean"},
{"url": "https://github.com/lean-dojo/LeanCopilot.git",
"type": "git",
"subDir": null,
"rev": "5e5b19486d8b850aa4f3f3169e95de560f39b2f8",
"name": "LeanCopilot",
"manifestFile": "lake-manifest.json",
"inputRev": "v1.0.1",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/Anderssorby/SDL.lean",
"type": "git",
"subDir": null,
"rev": "df569777830f9754bd19a99e9871fcc813118a33",
"name": "SDL",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
"inherited": false,
"configFile": "lakefile.lean"}],
"name": "HexTech",
"lakeDir": ".lake"}