76 lines
2.3 KiB
JSON
76 lines
2.3 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": "d2b1546c5fc05a06426e3f6ee1cb020e71be5592",
|
|
"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": "01ad33937acd996ee99eb74eefb39845e4e4b9f5",
|
|
"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": "622d52c803db99ff4ea4fb442c1db9e91aed944c",
|
|
"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": "d1b33202c3a29a079f292de65ea438648123b635",
|
|
"name": "proofwidgets",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "v0.0.39",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/leanprover/lean4-cli",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "",
|
|
"rev": "a11566029bd9ec4f68a65394e8c3ff1af74c1a29",
|
|
"name": "Cli",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": "main",
|
|
"inherited": true,
|
|
"configFile": "lakefile.lean"},
|
|
{"url": "https://github.com/leanprover-community/import-graph",
|
|
"type": "git",
|
|
"subDir": null,
|
|
"scope": "leanprover-community",
|
|
"rev": "68b518c9b352fbee16e6d632adcb7a6d0760e2b7",
|
|
"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": "cc495260156b40dcbd55b947c047061e15344000",
|
|
"name": "mathlib",
|
|
"manifestFile": "lake-manifest.json",
|
|
"inputRev": null,
|
|
"inherited": false,
|
|
"configFile": "lakefile.lean"}],
|
|
"name": "nevanlinna",
|
|
"lakeDir": ".lake"}
|