-
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
{"version": "1.2.0",
"packagesDir": ".lake/packages",
"packages":
[{"url": "https://github.com/funexists/raylean",
"type": "git",
"subDir": null,
"scope": "funexists",
"rev": "80281516ba85da4e40c558122a212210fc7e93a1",
"name": "raylean",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/funexists/lens-demo.git",
"type": "git",
"subDir": null,
"scope": "",
"rev": "0c90e83fd65f3b845dc46c1454309e0dbda25a71",
"name": "«lens-demo»",
"manifestFile": "lake-manifest.json",
"inputRev": "v4.28.0",
"inherited": true,
"configFile": "lakefile.lean"}],
"name": "LeanTTD",
"lakeDir": ".lake",
"fixedToolchain": false}