plfl/lake-manifest.json at main · plfa/plfl · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/leanprover/verso",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "432cd051c60ac2c37345e486c28238aa1e070b00",
   "name": "verso",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/david-christiansen/md4lean",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "8c28da107100ab6856e2e943f6ad73b13be16429",
   "name": "MD4Lean",
   "manifestFile": "lake-manifest.json",
   "inputRev": "explicit-link",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover/subverso.git",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "44e4cb869bbd9d2d08ac22c848e99859df0230d7",
   "name": "subverso",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.lean"}],
 "name": "plfl",
 "lakeDir": ".lake"}