diff --git a/lake-manifest.json b/lake-manifest.json
index ba3a2d5..e5e8ee9 100644
--- 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
index 475345e..4e8cec5 100644
--- 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