chore: bump deps and simplify lakefile

leanprover · Jan 16, 2024 · 3809c1b · 3809c1b
1 parent 909b158
commit 3809c1b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"url": "https://github.com/leanprover/std4",
    "type": "git",
    "subDir": null,
-   "rev": "1f24793af1db9cfb02ba71c6de5f205481de4a55",
+   "rev": "b1ebd72c5d262ea10a33ea582525925df874ad1e",
    "name": "std",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

diff --git a/lakefile.lean b/lakefile.lean
@@ -8,7 +8,7 @@ package verso where
 
 lean_lib Verso where
   srcDir := "src/verso"
-  roots := #[`Verso.Doc, `Verso.Output, `Verso.Parser, `Verso.Examples, `Verso.Method, `Verso.Syntax, `Verso.SyntaxUtils]
+  roots := #[`Verso]
   -- add library configuration options here
 
 lean_lib VersoBlog where