chore: update nightly version and add lake-manifest.json

leanprover · Apr 25, 2024 · 10d88b5 · 10d88b5
1 parent 39229f3
commit 10d88b5
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1 @@
-/build
-/lean_packages
+/.lake
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -0,0 +1,5 @@
+{"version": 7,
+ "packagesDir": ".lake/packages",
+ "packages": [],
+ "name": "Cli",
+ "lakeDir": ".lake"}
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-08-23
+leanprover/lean4:nightly-2024-04-24
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2023-08-23
		leanprover/lean4:nightly-2024-04-24