proof/lake-manifest.json at master · objectionary/proof · 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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
{
  "lakeDir": ".lake",
  "name": "\u00abphi-calculus\u00bb",
  "packages": [
    {
      "configFile": "lakefile.toml",
      "inherited": false,
      "inputRev": "main",
      "manifestFile": "lake-manifest.json",
      "name": "batteries",
      "rev": "c016aa9938c4cedc9b7066099f99bcae1b1af625",
      "scope": "",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover-community/batteries"
    },
    {
      "configFile": "lakefile.lean",
      "inherited": false,
      "inputRev": null,
      "manifestFile": "lake-manifest.json",
      "name": "mathlib",
      "rev": "e80c9183755c1371c29bd4f5af338f77b8ac2851",
      "scope": "",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover-community/mathlib4.git"
    },
    {
      "configFile": "lakefile.lean",
      "inherited": false,
      "inputRev": "main",
      "manifestFile": "lake-manifest.json",
      "name": "\u00abdoc-gen4\u00bb",
      "rev": "099b90e374ba73983c3fda87595be625f1931669",
      "scope": "",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover/doc-gen4"
    },
    {
      "configFile": "lakefile.toml",
      "inherited": true,
      "inputRev": "v4.15.0-rc1",
      "manifestFile": "lake-manifest.json",
      "name": "plausible",
      "rev": "8e5cb8d424df462f84997dd68af6f40e347c3e35",
      "scope": "leanprover-community",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover-community/plausible"
    },
    {
      "configFile": "lakefile.toml",
      "inherited": true,
      "inputRev": "main",
      "manifestFile": "lake-manifest.json",
      "name": "LeanSearchClient",
      "rev": "d7caecce0d0f003fd5e9cce9a61f1dd6ba83142b",
      "scope": "leanprover-community",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover-community/LeanSearchClient"
    },
    {
      "configFile": "lakefile.toml",
      "inherited": true,
      "inputRev": "v4.15.0-rc1",
      "manifestFile": "lake-manifest.json",
      "name": "importGraph",
      "rev": "ed3b856bd8893ade75cafe13e8544d4c2660f377",
      "scope": "leanprover-community",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover-community/import-graph"
    },
    {
      "configFile": "lakefile.lean",
      "inherited": true,
      "inputRev": "v0.0.48",
      "manifestFile": "lake-manifest.json",
      "name": "proofwidgets",
      "rev": "2b000e02d50394af68cfb4770a291113d94801b5",
      "scope": "leanprover-community",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover-community/ProofWidgets4"
    },
    {
      "configFile": "lakefile.toml",
      "inherited": true,
      "inputRev": "master",
      "manifestFile": "lake-manifest.json",
      "name": "aesop",
      "rev": "43bcb1964528411e47bfa4edd0c87d1face1fce4",
      "scope": "leanprover-community",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover-community/aesop"
    },
    {
      "configFile": "lakefile.lean",
      "inherited": true,
      "inputRev": "v4.14.0",
      "manifestFile": "lake-manifest.json",
      "name": "Qq",
      "rev": "ad942fdf0b15c38bface6acbb01d63855a2519ac",
      "scope": "leanprover-community",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover-community/quote4"
    },
    {
      "configFile": "lakefile.toml",
      "inherited": true,
      "inputRev": "main",
      "manifestFile": "lake-manifest.json",
      "name": "Cli",
      "rev": "0c8ea32a15a4f74143e4e1e107ba2c412adb90fd",
      "scope": "leanprover",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/leanprover/lean4-cli"
    },
    {
      "configFile": "lakefile.lean",
      "inherited": true,
      "inputRev": "main",
      "manifestFile": "lake-manifest.json",
      "name": "UnicodeBasic",
      "rev": "d55279d2ff01759fa75752fcf1a93d1db8db18ff",
      "scope": "",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/fgdorais/lean4-unicode-basic"
    },
    {
      "configFile": "lakefile.lean",
      "inherited": true,
      "inputRev": "master",
      "manifestFile": "lake-manifest.json",
      "name": "BibtexQuery",
      "rev": "982700bcf78b93166e5b1af0b4b756b8acfdb54b",
      "scope": "",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/dupuisf/BibtexQuery"
    },
    {
      "configFile": "lakefile.lean",
      "inherited": true,
      "inputRev": "main",
      "manifestFile": "lake-manifest.json",
      "name": "MD4Lean",
      "rev": "fe8e6e649ac8251f43c6f6f934f095ebebce7e7c",
      "scope": "",
      "subDir": null,
      "type": "git",
      "url": "https://github.com/acmepjz/md4lean"
    }
  ],
  "packagesDir": ".lake/packages",
  "version": "1.1.0"
}