repos / temple.lean4.git

lake-manifest.json

 1{"version": "1.1.0",
 2 "packagesDir": ".lake/packages",
 3 "packages":
 4 [{"url": "https://github.com/fgdorais/lean4-parser",
 5   "type": "git",
 6   "subDir": null,
 7   "scope": "",
 8   "rev": "4155745b7e137396988a25f433807efc525ce135",
 9   "name": "Parser",
10   "manifestFile": "lake-manifest.json",
11   "inputRev": "main",
12   "inherited": false,
13   "configFile": "lakefile.toml"},
14  {"url": "https://github.com/fgdorais/lean4-unicode-basic",
15   "type": "git",
16   "subDir": null,
17   "scope": "",
18   "rev": "625c5900a5af52f192722b844ba2a440e0dfbd59",
19   "name": "UnicodeBasic",
20   "manifestFile": "lake-manifest.json",
21   "inputRev": "main",
22   "inherited": false,
23   "configFile": "lakefile.lean"},
24  {"url": "https://github.com/leanprover-community/batteries",
25   "type": "git",
26   "subDir": null,
27   "scope": "",
28   "rev": "47d41b04677e3e9b3d726b78ea5d7a9ba0577e79",
29   "name": "batteries",
30   "manifestFile": "lake-manifest.json",
31   "inputRev": "bump/nightly-2025-08-19",
32   "inherited": false,
33   "configFile": "lakefile.toml"}],
34 "name": "temple",
35 "lakeDir": ".lake"}