feat: commit lake-manifest.json

leanprover-community · Jan 25, 2024 · d1d0a6e · d1d0a6e
1 parent 8f32448
commit d1d0a6e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,8 +5,3 @@
 /lakefile.olean
 # After v4.3.0-rc2 lake stores its files here:
 /.lake/
-# Note: because std has no dependencies, the lake-manifest contains no information
-# that is not regenerated automatically by lake, so this avoids conflicts when
-# lake decides to upgrade its manifest version.
-# We may revisit this if lake decides to store more useful information in the manifest.
-lake-manifest.json
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -0,0 +1,5 @@
+{"version": 7,
+ "packagesDir": ".lake/packages",
+ "packages": [],
+ "name": "std",
+ "lakeDir": ".lake"}