{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/toku-sa-n/leanfmt",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "aa01a897b07a896038acac08825ef2c4b98d8cbc",
   "name": "leanfmt",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.toml"},
  {"type": "path",
   "scope": "",
   "name": "iris",
   "manifestFile": "lake-manifest.json",
   "inherited": false,
   "dir": "/Users/hxrts/projects/iris-lean",
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/hxrts/paco-lean",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "c4367aa6d3aac0b23bc52d3cc7be77aa2677c32b",
   "name": "paco",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v0.1.3",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"type": "path",
   "scope": "",
   "name": "mathlib",
   "manifestFile": "lake-manifest.json",
   "inherited": false,
   "dir": "/Users/hxrts/projects/lean_common/mathlib4",
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/quote4",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "9312503909aa8e8bb392530145cc1677a6298574",
   "name": "Qq",
   "manifestFile": "lake-manifest.json",
   "inputRev": "93125039",
   "inherited": false,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/plausible",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "160af9e8e7d4ae448f3c92edcc5b6a8522453f11",
   "name": "plausible",
   "manifestFile": "lake-manifest.json",
   "inputRev": "160af9e8",
   "inherited": false,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/LeanSearchClient",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "3591c3f664ac3719c4c86e4483e21e228707bfa2",
   "name": "LeanSearchClient",
   "manifestFile": "lake-manifest.json",
   "inputRev": "3591c3f6",
   "inherited": false,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/import-graph",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "e9f31324f15ead11048b1443e62c5deaddd055d2",
   "name": "importGraph",
   "manifestFile": "lake-manifest.json",
   "inputRev": "e9f31324",
   "inherited": false,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/ProofWidgets4",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "b4fb2aa5290ebf61bc5f80a5375ba642f0a49192",
   "name": "proofwidgets",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v0.0.83",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/aesop",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "2f6d238744c4cb07fdc91240feaf5d4221a27931",
   "name": "aesop",
   "manifestFile": "lake-manifest.json",
   "inputRev": "2f6d2387",
   "inherited": false,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/batteries",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "24241822ef9d3e7f6a3bcc53ad136e12663db8f3",
   "name": "batteries",
   "manifestFile": "lake-manifest.json",
   "inputRev": "24241822",
   "inherited": false,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover/lean4-cli",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "933fce7e893f65969714c60cdb4bd8376786044e",
   "name": "Cli",
   "manifestFile": "lake-manifest.json",
   "inputRev": "933fce7e",
   "inherited": false,
   "configFile": "lakefile.toml"}],
 "name": "telltale",
 "lakeDir": ".lake"}
