lake-manifest.json

{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/hanwenzhu/premise-selection",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "721f893828ef7b4a78f6ee419586a795c812ba22",
   "name": "«premise-selection»",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": false,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/duper.git",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "efd479f7da1a29aa7a77aaead0198e7947830a7a",
   "name": "Duper",
   "manifestFile": "lake-manifest.json",
   "inputRev": "efd479f7da1a29aa7a77aaead0198e7947830a7a",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/mathlib4",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "e9ae2a61ef5c99d6edac84f0d04f6324c5d97f67",
   "name": "mathlib",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0-patch1",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/batteries",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "e8dc5fc16c625fc4fe08f42d625523275ddbbb4b",
   "name": "batteries",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/lean-auto.git",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "997d810f10945740fb68923fbfa0cdf84636d07c",
   "name": "auto",
   "manifestFile": "lake-manifest.json",
   "inputRev": "997d810f10945740fb68923fbfa0cdf84636d07c",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/plausible",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "2c57364ef83406ea86d0f78ce3e342079a2fece5",
   "name": "plausible",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/LeanSearchClient",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "003ff459cdd85de551f4dcf95cdfeefe10f20531",
   "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": "9a0b533c2fbd6195df067630be18e11e4349051c",
   "name": "importGraph",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/ProofWidgets4",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "2b000e02d50394af68cfb4770a291113d94801b5",
   "name": "proofwidgets",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v0.0.48",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/aesop",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "2689851f387bb2cef351e6825fe94a56a304ca13",
   "name": "aesop",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/quote4",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "f0c584bcb14c5adfb53079781eeea75b26ebbd32",
   "name": "Qq",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover/lean4-cli",
   "type": "git",
   "subDir": null,
   "scope": "leanprover",
   "rev": "0c8ea32a15a4f74143e4e1e107ba2c412adb90fd",
   "name": "Cli",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.toml"}],
 "name": "QuerySMT",
 "lakeDir": ".lake"}