Pantograph/lake-manifest.json

15 lines
427 B
JSON
Raw Permalink Normal View History

{"version": 7,
"packagesDir": ".lake/packages",
2023-05-21 23:30:41 -07:00
"packages":
[{"url": "https://github.com/lurk-lab/LSpec.git",
"type": "git",
"subDir": null,
"rev": "3388be5a1d1390594a74ec469fd54a5d84ff6114",
"name": "LSpec",
"manifestFile": "lake-manifest.json",
"inputRev": "3388be5a1d1390594a74ec469fd54a5d84ff6114",
"inherited": false,
"configFile": "lakefile.lean"}],
"name": "pantograph",
"lakeDir": ".lake"}