1{"version": "1.3.0",2 "packagesDir": ".lake/packages",3 "packages":4 [{"url": "https://github.com/leanprover-community/mathlib4",5 "type": "git",6 "subDir": null,7 "scope": "leanprover-community",8 "rev": "56a005855ea17e0b0958f73ec801ae140b0a1679",9 "name": "mathlib",10 "manifestFile": "lake-manifest.json",11 "inputRev": "v4.35.0",12 "inherited": false,13 "configFile": "lakefile.lean"},14 {"url": "https://github.com/leanprover-community/plausible",15 "type": "git",16 "subDir": null,17 "scope": "leanprover-community",18 "rev": "dfa4f38190d07c37e315953e08b90fe2d95b3c24",19 "name": "plausible",20 "manifestFile": "lake-manifest.json",21 "inputRev": "main",22 "inherited": true,23 "configFile": "lakefile.toml"},24 {"url": "https://github.com/leanprover-community/LeanSearchClient",25 "type": "git",26 "subDir": null,27 "scope": "leanprover-community",28 "rev": "d6b4c7be5be75ec4917c873ac50c756dc1436372",29 "name": "LeanSearchClient",30 "manifestFile": "lake-manifest.json",31 "inputRev": "main",32 "inherited": true,33 "configFile": "lakefile.toml"},34 {"url": "https://github.com/leanprover-community/import-graph",35 "type": "git",36 "subDir": null,37 "scope": "leanprover-community",38 "rev": "a41f0e9a4dea23188ea9cc1c41ac9f8bbafe0b93",39 "name": "importGraph",40 "manifestFile": "lake-manifest.json",41 "inputRev": "main",42 "inherited": true,43 "configFile": "lakefile.toml"},44 {"url": "https://github.com/leanprover-community/ProofWidgets4",45 "type": "git",46 "subDir": null,47 "scope": "leanprover-community",48 "rev": "df72b022e558978a1c50264cfc4d7fec86fa8e04",49 "name": "proofwidgets",50 "manifestFile": "lake-manifest.json",51 "inputRev": "main",52 "inherited": true,53 "configFile": "lakefile.lean"},54 {"url": "https://github.com/leanprover-community/aesop",55 "type": "git",56 "subDir": null,57 "scope": "leanprover-community",58 "rev": "4a174c490d8707121c4a9290800489f105d85e07",59 "name": "aesop",60 "manifestFile": "lake-manifest.json",61 "inputRev": "master",62 "inherited": true,63 "configFile": "lakefile.toml"},64 {"url": "https://github.com/leanprover-community/quote4",65 "type": "git",66 "subDir": null,67 "scope": "leanprover-community",68 "rev": "dce0ad79c486cb1fb504af04f953c3466b0c6db8",69 "name": "Qq",70 "manifestFile": "lake-manifest.json",71 "inputRev": "master",72 "inherited": true,73 "configFile": "lakefile.toml"},74 {"url": "https://github.com/leanprover-community/batteries",75 "type": "git",76 "subDir": null,77 "scope": "leanprover-community",78 "rev": "66e469188fe07963e5cf666c7d4433f45b8131c5",79 "name": "batteries",80 "manifestFile": "lake-manifest.json",81 "inputRev": "main",82 "inherited": true,83 "configFile": "lakefile.toml"},84 {"url": "https://github.com/leanprover/lean4-cli",85 "type": "git",86 "subDir": null,87 "scope": "leanprover",88 "rev": "c24fe6078c630e89b489bffe59b3e20ac30d12c8",89 "name": "Cli",90 "manifestFile": "lake-manifest.json",91 "inputRev": "v4.35.0",92 "inherited": true,93 "configFile": "lakefile.toml"}],94 "name": "wp28proofs",95 "lakeDir": ".lake",96 "fixedToolchain": false}97