{
  "version": "1.2.0",
  "packagesDir": ".lake/packages",
  "packages": [
    {
      "url": "https://github.com/leanprover-community/mathlib4",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "065356127b1dc0016f66b7283ce0ce2c4055aa55",
      "name": "mathlib",
      "manifestFile": "lake-manifest.json",
      "inputRev": "065356127b1dc0016f66b7283ce0ce2c4055aa55",
      "inherited": false,
      "configFile": "lakefile.lean"
    },
    {
      "url": "https://github.com/leanprover-community/plausible",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "e50948299c4dc4a4c21b1c34b6a6a4fddc19f912",
      "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": "95e037bfdc31d3916ac615446847fb01960e2719",
      "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": "10930f8138f0462dbd744a91fc03a16fae0e046f",
      "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": "4c70ac059693669e5756e32a7a94b57ee1e99dc5",
      "name": "proofwidgets",
      "manifestFile": "lake-manifest.json",
      "inputRev": "main",
      "inherited": true,
      "configFile": "lakefile.lean"
    },
    {
      "url": "https://github.com/leanprover-community/aesop",
      "type": "git",
      "subDir": null,
      "scope": "leanprover-community",
      "rev": "75d936c7af167cc93fac0d31237682fc2204591d",
      "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": "786b7acdca7eb4e9c76c5d1d5bd810e7e5c56334",
      "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": "ed9b316aabe389fec1ef43c3326ab48c7e59be42",
      "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": "2842b9871b04862f944c032e34052cb9448ccb71",
      "name": "Cli",
      "manifestFile": "lake-manifest.json",
      "inputRev": "v4.35.0-rc2",
      "inherited": true,
      "configFile": "lakefile.toml"
    }
  ],
  "name": "Nyll",
  "lakeDir": ".lake",
  "fixedToolchain": false
}