1  {
  2    "version": "1.1.0",
  3    "packagesDir": ".lake/packages",
  4    "packages": [
  5      {
  6        "url": "https://github.com/leanprover-community/mathlib4.git",
  7        "type": "git",
  8        "subDir": null,
  9        "scope": "",
 10        "rev": "2df2f0150c275ad53cb3c90f7c98ec15a56a1a67",
 11        "name": "mathlib",
 12        "manifestFile": "lake-manifest.json",
 13        "inputRev": "v4.26.0",
 14        "inherited": false,
 15        "configFile": "lakefile.lean"
 16      },
 17      {
 18        "url": "https://github.com/leanprover-community/plausible",
 19        "type": "git",
 20        "subDir": null,
 21        "scope": "leanprover-community",
 22        "rev": "160af9e8e7d4ae448f3c92edcc5b6a8522453f11",
 23        "name": "plausible",
 24        "manifestFile": "lake-manifest.json",
 25        "inputRev": "main",
 26        "inherited": true,
 27        "configFile": "lakefile.toml"
 28      },
 29      {
 30        "url": "https://github.com/leanprover-community/LeanSearchClient",
 31        "type": "git",
 32        "subDir": null,
 33        "scope": "leanprover-community",
 34        "rev": "3591c3f664ac3719c4c86e4483e21e228707bfa2",
 35        "name": "LeanSearchClient",
 36        "manifestFile": "lake-manifest.json",
 37        "inputRev": "main",
 38        "inherited": true,
 39        "configFile": "lakefile.toml"
 40      },
 41      {
 42        "url": "https://github.com/leanprover-community/import-graph",
 43        "type": "git",
 44        "subDir": null,
 45        "scope": "leanprover-community",
 46        "rev": "e9f31324f15ead11048b1443e62c5deaddd055d2",
 47        "name": "importGraph",
 48        "manifestFile": "lake-manifest.json",
 49        "inputRev": "main",
 50        "inherited": true,
 51        "configFile": "lakefile.toml"
 52      },
 53      {
 54        "url": "https://github.com/leanprover-community/ProofWidgets4",
 55        "type": "git",
 56        "subDir": null,
 57        "scope": "leanprover-community",
 58        "rev": "b4fb2aa5290ebf61bc5f80a5375ba642f0a49192",
 59        "name": "proofwidgets",
 60        "manifestFile": "lake-manifest.json",
 61        "inputRev": "v0.0.83",
 62        "inherited": true,
 63        "configFile": "lakefile.lean"
 64      },
 65      {
 66        "url": "https://github.com/leanprover-community/aesop",
 67        "type": "git",
 68        "subDir": null,
 69        "scope": "leanprover-community",
 70        "rev": "2f6d238744c4cb07fdc91240feaf5d4221a27931",
 71        "name": "aesop",
 72        "manifestFile": "lake-manifest.json",
 73        "inputRev": "master",
 74        "inherited": true,
 75        "configFile": "lakefile.toml"
 76      },
 77      {
 78        "url": "https://github.com/leanprover-community/quote4",
 79        "type": "git",
 80        "subDir": null,
 81        "scope": "leanprover-community",
 82        "rev": "9312503909aa8e8bb392530145cc1677a6298574",
 83        "name": "Qq",
 84        "manifestFile": "lake-manifest.json",
 85        "inputRev": "master",
 86        "inherited": true,
 87        "configFile": "lakefile.toml"
 88      },
 89      {
 90        "url": "https://github.com/leanprover-community/batteries",
 91        "type": "git",
 92        "subDir": null,
 93        "scope": "leanprover-community",
 94        "rev": "24241822ef9d3e7f6a3bcc53ad136e12663db8f3",
 95        "name": "batteries",
 96        "manifestFile": "lake-manifest.json",
 97        "inputRev": "main",
 98        "inherited": true,
 99        "configFile": "lakefile.toml"
100      },
101      {
102        "url": "https://github.com/leanprover/lean4-cli",
103        "type": "git",
104        "subDir": null,
105        "scope": "leanprover",
106        "rev": "933fce7e893f65969714c60cdb4bd8376786044e",
107        "name": "Cli",
108        "manifestFile": "lake-manifest.json",
109        "inputRev": "v4.26.0",
110        "inherited": true,
111        "configFile": "lakefile.toml"
112      }
113    ],
114    "name": "continuity",
115    "lakeDir": ".lake"
116  }