{
  "version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages": [
    {
      "url": "https://github.com/leanprover-community/mathlib4",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "f156f7abd91ac67adb22bf999e5a71ba22e22e41",
      "name": "mathlib",
      "manifestFile": "lake-manifest.json",
      "inputRev": "master",
      "inherited": false,
      "configFile": "lakefile.lean"
    },
    {
      "url": "https://github.com/leanprover-community/plausible",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "e84e3e16aea6b72cc5d311ca1bb25caad417e162",
      "name": "plausible",
      "manifestFile": "lake-manifest.json",
      "inputRev": "main",
      "inherited": true,
      "configFile": "lakefile.toml"
    },
    {
      "url": "https://github.com/leanprover-community/LeanSearchClient",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "c5d5b8fe6e5158def25cd28eb94e4141ad97c843",
      "name": "LeanSearchClient",
      "manifestFile": "lake-manifest.json",
      "inputRev": "main",
      "inherited": true,
      "configFile": "lakefile.toml"
    },
    {
      "url": "https://github.com/leanprover-community/import-graph",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "f207d9fcf0cef00ba79962a33ef156061914d9c7",
      "name": "importGraph",
      "manifestFile": "lake-manifest.json",
      "inputRev": "main",
      "inherited": true,
      "configFile": "lakefile.toml"
    },
    {
      "url": "https://github.com/leanprover-community/ProofWidgets4",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "2e58165a9dcdca9837b666528f974299ee1a51cc",
      "name": "proofwidgets",
      "manifestFile": "lake-manifest.json",
      "inputRev": "v0.0.92",
      "inherited": true,
      "configFile": "lakefile.lean"
    },
    {
      "url": "https://github.com/leanprover-community/aesop",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "c3361708f266893de5d1769192b60d4b1831f2bb",
      "name": "aesop",
      "manifestFile": "lake-manifest.json",
      "inputRev": "master",
      "inherited": true,
      "configFile": "lakefile.toml"
    },
    {
      "url": "https://github.com/leanprover-community/quote4",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "221e8088e3a066b8676dc471ff10638cf1c10835",
      "name": "Qq",
      "manifestFile": "lake-manifest.json",
      "inputRev": "master",
      "inherited": true,
      "configFile": "lakefile.toml"
    },
    {
      "url": "https://github.com/leanprover-community/batteries",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "77a5160a74772214ef37caba2847cfe9ab600285",
      "name": "batteries",
      "manifestFile": "lake-manifest.json",
      "inputRev": "main",
      "inherited": true,
      "configFile": "lakefile.toml"
    },
    {
      "url": "https://github.com/leanprover/lean4-cli",
      "type": "git",
      "subDir": null,
      "scope": "leanprover",
      "rev": "3de531c1135f5e3a01f3ac04830996fda476b28e",
      "name": "Cli",
      "manifestFile": "lake-manifest.json",
      "inputRev": "v4.29.0-rc6",
      "inherited": true,
      "configFile": "lakefile.toml"
    },
    {
      "url": "https://github.com/leanprover/comparator.git",
      "type": "git",
      "subDir": null,
      "scope": "leanprover",
      "rev": "a4f696825c583ed8a5b4060d9a0faa5b882d365b",
      "name": "Comparator",
      "manifestFile": "lake-manifest.json",
      "inputRev": "v4.29.0-rc6",
      "inherited": false,
      "configFile": "lakefile.toml"
    },
    {
      "url": "https://github.com/leanprover/lean4export",
      "type": "git",
      "subDir": null,
      "scope": "leanprover",
      "rev": "048394e1afeeb52b0fa27bcf3f1ade2ff0f0ab6d",
      "name": "lean4export",
      "manifestFile": "lake-manifest.json",
      "inputRev": "master",
      "inherited": true,
      "configFile": "lakefile.toml"
    },
    {
      "url": "https://github.com/leanprover/lean4checker",
      "type": "git",
      "subDir": null,
      "scope": "leanprover",
      "rev": "b7398199245524275543dec6113229c9bb4902e5",
      "name": "Lean4Checker",
      "manifestFile": "lake-manifest.json",
      "inputRev": "b7398199245524275543dec6113229c9bb4902e5",
      "inherited": true,
      "configFile": "lakefile.toml"
    }
  ],
  "name": "Quantum",
  "lakeDir": ".lake"
}