1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13
14. 14
15. 15
16. 16
17. 17
18. 18
19. 19
20. 20
21. 21
22. 22
23. 23
24. 24
25. 25
26. 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": "MonotoniCity",
 "lakeDir": ".lake",
 "fixedToolchain": false}