-
Notifications
You must be signed in to change notification settings - Fork 0
/
lake-manifest.json
75 lines (75 loc) · 2.2 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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
{"version": "1.1.0",
"packagesDir": ".lake/packages",
"packages":
[{"url": "https://github.com/leanprover-community/batteries",
"type": "git",
"subDir": null,
"scope": "",
"rev": "0f3e143dffdc3a591662f3401ce1d7a3405227c0",
"name": "batteries",
"manifestFile": "lake-manifest.json",
"inputRev": "v4.10.0",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/tydeu/lean4-alloy/",
"type": "git",
"subDir": null,
"scope": "",
"rev": "7af65d3a57015a59ec67a2424519277a864be681",
"name": "alloy",
"manifestFile": "lake-manifest.json",
"inputRev": "master",
"inherited": true,
"configFile": "lakefile.lean"},
{"url": "https://github.com/hargoniX/socket.lean",
"type": "git",
"subDir": null,
"scope": "",
"rev": "b5e4c863a1462487da12e85a6b1e7cd2d38f9f15",
"name": "socket",
"manifestFile": "lake-manifest.json",
"inputRev": "b5e4c86",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/KislyjKisel/lean-pod",
"type": "git",
"subDir": null,
"scope": "",
"rev": "b8c9094cdc70b8015178be8ca57ccf407fc16f3b",
"name": "pod",
"manifestFile": "lake-manifest.json",
"inputRev": "b8c9094",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/KislyjKisel/Raylib.lean",
"type": "git",
"subDir": null,
"scope": "",
"rev": "917c72ceea1b11b55ef9c71f0233f2ba56948856",
"name": "raylib",
"manifestFile": "lake-manifest.json",
"inputRev": "917c72c",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/KislyjKisel/Flecs.lean",
"type": "git",
"subDir": null,
"scope": "",
"rev": "2df013b509db6328a4050176e19b4ac4590d2db8",
"name": "flecs",
"manifestFile": "lake-manifest.json",
"inputRev": "2df013b",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/KislyjKisel/Luau.lean",
"type": "git",
"subDir": null,
"scope": "",
"rev": "139ef2ecd7d3b45bb77b181868930bd3ead74dc9",
"name": "luau",
"manifestFile": "lake-manifest.json",
"inputRev": "139ef2e",
"inherited": false,
"configFile": "lakefile.lean"}],
"name": "Game",
"lakeDir": ".lake"}