115 lines
3.6 KiB
JSON
115 lines
3.6 KiB
JSON
{"version": "1.1.0",
|
|
"packagesDir": ".lake/packages",
|
|
"packages":
|
|
[{"url": "https://github.com/leanprover-community/batteries",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "9c6c2d647e57b2b7a0b42dd8080c698bd33a1b6f",
|
|
"name": "batteries",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/leanprover-community/quote4",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "9d0bdd07bdfe53383567509348b1fe917fc08de4",
|
|
"name": "Qq",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "master",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/leanprover-community/aesop",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "deb279eb7be16848d0bc8387f80d6e41bcdbe738",
|
|
"name": "aesop",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "master",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"},
|
|
{"url": "https://github.com/leanprover-community/ProofWidgets4",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "a96aee5245720f588876021b6a0aa73efee49c76",
|
|
"name": "proofwidgets",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "v0.0.41",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/leanprover/lean4-cli",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "2cf1030dc2ae6b3632c84a09350b675ef3e347d0",
|
|
"name": "Cli",
|
|
"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": "1ef0b288623337cb37edd1222b9c26b4b77c6620",
|
|
"name": "importGraph",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.toml"},
|
|
{"url": "https://github.com/leanprover-community/mathlib4.git",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "20c73142afa995ac9c8fb80a9bb585a55ca38308",
|
|
"name": "mathlib",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "v4.11.0",
|
|
"inherited": false,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/acmepjz/md4lean",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "5e95f4776be5e048364f325c7e9d619bb56fb005",
|
|
"name": "MD4Lean",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/fgdorais/lean4-unicode-basic",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "5c11428272fe190b7e726ebe448f93437d057b74",
|
|
"name": "UnicodeBasic",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/dupuisf/BibtexQuery",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "bd8747df9ee72fca365efa5bd3bd0d8dcd083b9f",
|
|
"name": "BibtexQuery",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "master",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/leanprover/doc-gen4",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "6d8e3118ab526f8dfcabcbdf9f05dc34e5c423a8",
|
|
"name": "«doc-gen4»",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "v4.11.0-rc1",
|
|
"inherited": false,
|
|
"configFile": "lakefile.lean"}],
|
|
"name": "hep_lean",
|
|
"lakeDir": ".lake"}
|