diff options
Diffstat (limited to 'tests/lean/lake-manifest.json')
-rw-r--r-- | tests/lean/lake-manifest.json | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/tests/lean/lake-manifest.json b/tests/lean/lake-manifest.json new file mode 100644 index 00000000..1397c6f0 --- /dev/null +++ b/tests/lean/lake-manifest.json @@ -0,0 +1,34 @@ +{"version": 4, + "packagesDir": "lake-packages", + "packages": + [{"git": + {"url": "https://github.com/EdAyers/ProofWidgets4", + "subDir?": null, + "rev": "c43db94a8f495dad37829e9d7ad65483d68c86b8", + "name": "proofwidgets", + "inputRev?": "v0.0.11"}}, + {"path": {"name": "Base", "dir": "./../../backends/lean"}}, + {"git": + {"url": "https://github.com/leanprover-community/mathlib4.git", + "subDir?": null, + "rev": "cb02d09e1d5611d22efc2b406e7893f246b2f51e", + "name": "mathlib", + "inputRev?": null}}, + {"git": + {"url": "https://github.com/gebner/quote4", + "subDir?": null, + "rev": "c71f94e34c1cda52eef5c93dc9da409ab2727420", + "name": "Qq", + "inputRev?": "master"}}, + {"git": + {"url": "https://github.com/JLimperg/aesop", + "subDir?": null, + "rev": "ca73109cc40837bc61df8024c9016da4b4f99d4c", + "name": "aesop", + "inputRev?": "master"}}, + {"git": + {"url": "https://github.com/leanprover/std4", + "subDir?": null, + "rev": "e68aa8f5fe47aad78987df45f99094afbcb5e936", + "name": "std", + "inputRev?": "main"}}]} |