summaryrefslogtreecommitdiff
path: root/backends/lean/lake-manifest.json
diff options
context:
space:
mode:
Diffstat (limited to 'backends/lean/lake-manifest.json')
-rw-r--r--backends/lean/lake-manifest.json27
1 files changed, 27 insertions, 0 deletions
diff --git a/backends/lean/lake-manifest.json b/backends/lean/lake-manifest.json
new file mode 100644
index 00000000..7b23fc19
--- /dev/null
+++ b/backends/lean/lake-manifest.json
@@ -0,0 +1,27 @@
+{"version": 4,
+ "packagesDir": "lake-packages",
+ "packages":
+ [{"git":
+ {"url": "https://github.com/leanprover-community/mathlib4.git",
+ "subDir?": null,
+ "rev": "f89ee53085b8aad0bacd3bc94d7ef4b8d9aba643",
+ "name": "mathlib",
+ "inputRev?": null}},
+ {"git":
+ {"url": "https://github.com/gebner/quote4",
+ "subDir?": null,
+ "rev": "2412c4fdf4a8b689f4467618e5e7b371ae5014aa",
+ "name": "Qq",
+ "inputRev?": "master"}},
+ {"git":
+ {"url": "https://github.com/JLimperg/aesop",
+ "subDir?": null,
+ "rev": "7fe9ecd9339b0e1796e89d243b776849c305c690",
+ "name": "aesop",
+ "inputRev?": "master"}},
+ {"git":
+ {"url": "https://github.com/leanprover/std4",
+ "subDir?": null,
+ "rev": "24897887905b3a1254b244369f5dd2cf6174b0ee",
+ "name": "std",
+ "inputRev?": "main"}}]}