-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathPlausible.html.trace
More file actions
26 lines (26 loc) · 6.16 KB
/
Plausible.html.trace
File metadata and controls
26 lines (26 loc) · 6.16 KB
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
{"log":
[{"message":
".> ELAN=elan ELAN_HOME=/Users/linyxus/.elan ELAN_TOOLCHAIN=leanprover/lean4:v4.21.0-rc3 LAKE=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/bin/lake LAKE_HOME=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3 LAKE_PKG_URL_MAP={} LEAN=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/bin/lean LEAN_GITHASH=6741444a63eec253a7eae7a83f1beb3de015023d LEAN_SYSROOT=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3 LEAN_AR=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/bin/llvm-ar LEAN_CC= LEAN_PATH=/Users/linyxus/Workspace/capless-lean/.lake/packages/Qq/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/aesop/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/proofwidgets/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/LeanSearchClient/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/plausible/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/MD4Lean/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/BibtexQuery/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/UnicodeBasic/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/Cli/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/batteries/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/importGraph/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/build/lib/lean:/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/lib/lean LEAN_SRC_PATH=/Users/linyxus/Workspace/capless-lean/.lake/packages/Qq:/Users/linyxus/Workspace/capless-lean/.lake/packages/aesop:/Users/linyxus/Workspace/capless-lean/.lake/packages/aesop:/Users/linyxus/Workspace/capless-lean/.lake/packages/proofwidgets:/Users/linyxus/Workspace/capless-lean/.lake/packages/proofwidgets:/Users/linyxus/Workspace/capless-lean/.lake/packages/LeanSearchClient:/Users/linyxus/Workspace/capless-lean/.lake/packages/LeanSearchClient:/Users/linyxus/Workspace/capless-lean/.lake/packages/plausible:/Users/linyxus/Workspace/capless-lean/.lake/packages/plausible:/Users/linyxus/Workspace/capless-lean/.lake/packages/MD4Lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/MD4Lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/BibtexQuery:/Users/linyxus/Workspace/capless-lean/.lake/packages/UnicodeBasic:/Users/linyxus/Workspace/capless-lean/.lake/packages/UnicodeBasic:/Users/linyxus/Workspace/capless-lean/.lake/packages/Cli:/Users/linyxus/Workspace/capless-lean/.lake/packages/batteries:/Users/linyxus/Workspace/capless-lean/.lake/packages/batteries:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4:/Users/linyxus/Workspace/capless-lean/.lake/packages/importGraph:/Users/linyxus/Workspace/capless-lean/.lake/packages/importGraph:/Users/linyxus/Workspace/capless-lean:/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/src/lean/lake PATH DYLD_LIBRARY_PATH=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/lib/lean:/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/lib:/Users/linyxus/Workspace/capless-lean/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/importGraph/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/batteries/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/Cli/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/UnicodeBasic/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/BibtexQuery/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/MD4Lean/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/plausible/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/LeanSearchClient/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/proofwidgets/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/aesop/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/Qq/.lake/build/lib /Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4/.lake/build/bin/doc-gen4 single --build /Users/linyxus/Workspace/capless-lean/.lake/build Plausible vscode://file//Users/linyxus/Workspace/capless-lean/.lake/packages/plausible/Plausible.lean",
"level": "trace"}],
"inputs":
[["<collection>",
[["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Plausible/Random.html",
"12385140463732120919"],
["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Plausible/Gen.html",
"10773596645334316046"],
["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Plausible/Sampleable.html",
"5449978714710406187"],
["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Plausible/Testable.html",
"1405608188514355750"],
["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Plausible/Functions.html",
"1998381978345736655"],
["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Plausible/Attr.html",
"11855546810934555554"],
["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Plausible/Tactic.html",
"8125383326404604215"]]],
["/Users/linyxus/Workspace/capless-lean/.lake/build/doc-data/references.json",
"11893762902049086281"],
["/Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4/.lake/build/bin/doc-gen4",
"15223597035470372104"],
["Plausible:leanArts", "8352792461378000717"]],
"depHash": "1364618332161580375"}