diff options
author | Son Ho | 2023-07-12 15:58:38 +0200 |
---|---|---|
committer | Son Ho | 2023-07-12 15:58:38 +0200 |
commit | e010c10fb9a1e2d88b52a4f6b4a0865448276013 (patch) | |
tree | bb33eccde0143f2faf2174a4ede025cb41c398af /tests/lean/lake-manifest.json | |
parent | 59e4a06480b5365f48dc68de80f44841f94094ed (diff) |
Make the `by inlit` implicit
Diffstat (limited to 'tests/lean/lake-manifest.json')
-rw-r--r-- | tests/lean/lake-manifest.json | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tests/lean/lake-manifest.json b/tests/lean/lake-manifest.json index 75f7010a..8bbfb7cd 100644 --- a/tests/lean/lake-manifest.json +++ b/tests/lean/lake-manifest.json @@ -9,9 +9,15 @@ "inputRev?": "v0.0.11"}}, {"path": {"name": "Base", "dir": "./../../backends/lean"}}, {"git": + {"url": "https://github.com/mhuisi/lean4-cli.git", + "subDir?": null, + "rev": "5a858c32963b6b19be0d477a30a1f4b6c120be7e", + "name": "Cli", + "inputRev?": "nightly"}}, + {"git": {"url": "https://github.com/leanprover-community/mathlib4.git", "subDir?": null, - "rev": "bb4fb766e41dd3a64197263ec132c7f9c4b50065", + "rev": "82fe7e902b01fe686b91c19550f1e228ad2dec1c", "name": "mathlib", "inputRev?": null}}, {"git": |