-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlake-manifest.json
52 lines (52 loc) · 1.45 KB
/
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
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
{"version": 6,
"packagesDir": "lake-packages",
"packages":
[{"git":
{"url": "https://github.com/leanprover-community/mathlib4",
"subDir?": null,
"rev": "e0e141f763b0e038b38db9b0719d5fbbe34c2850",
"opts": {},
"name": "mathlib",
"inputRev?": null,
"inherited": false}},
{"git":
{"url": "https://github.com/leanprover-community/quote4",
"subDir?": null,
"rev": "d3a1d25f3eba0d93a58d5d3d027ffa78ece07755",
"opts": {},
"name": "Qq",
"inputRev?": "master",
"inherited": true}},
{"git":
{"url": "https://github.com/leanprover-community/aesop",
"subDir?": null,
"rev": "bf5ab42a58e71de7ebad399ce3f90d29aae7fca9",
"opts": {},
"name": "aesop",
"inputRev?": "master",
"inherited": true}},
{"git":
{"url": "https://github.com/leanprover/lean4-cli",
"subDir?": null,
"rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec",
"opts": {},
"name": "Cli",
"inputRev?": "main",
"inherited": true}},
{"git":
{"url": "https://github.com/leanprover-community/ProofWidgets4",
"subDir?": null,
"rev": "c3b9f0d4ebedc43635d3f7e764e277b1010844b7",
"opts": {},
"name": "proofwidgets",
"inputRev?": "v0.0.22",
"inherited": true}},
{"git":
{"url": "https://github.com/leanprover/std4",
"subDir?": null,
"rev": "c14f6a65b2c08caa38e1ab5db83451460d6cde3e",
"opts": {},
"name": "std",
"inputRev?": "main",
"inherited": true}}],
"name": "lean4_test"}