{"version": "1.3.0",
 "packagesDir": ".lake/packages",
 "packages": [],
 "name": "wp34",
 "lakeDir": ".lake",
 "fixedToolchain": false}