forked from leanprover/LNSym
-
Notifications
You must be signed in to change notification settings - Fork 2
/
lake-manifest.json
23 lines (23 loc) · 708 Bytes
/
lake-manifest.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
{"version": "1.0.0",
"packagesDir": ".lake/packages",
"packages":
[{"url": "https://github.com/leanprover-community/batteries.git",
"type": "git",
"subDir": null,
"rev": "6141f00e9b5a0b1c92ce971d99082f70345cc6c3",
"name": "batteries",
"manifestFile": "lake-manifest.json",
"inputRev": "nightly-testing",
"inherited": true,
"configFile": "lakefile.lean"},
{"url": "https://github.com/leanprover/leansat",
"type": "git",
"subDir": null,
"rev": "02cffbd5bf87042e7cee98e51c5a07f917fc5333",
"name": "LeanSAT",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
"inherited": false,
"configFile": "lakefile.lean"}],
"name": "lnsym",
"lakeDir": ".lake"}