diff --git a/lean_py/project.py b/lean_py/project.py
index 696b260..aa15680 100644
--- a/lean_py/project.py
+++ b/lean_py/project.py
@@ -222,6 +222,7 @@ def _generate_lakefile(
         '"LeanPy/LeanPy:static"',
         '"LeanPy/leanPyNative:static"',
         '"Pantograph/Pantograph:static"',
+        '"Regex/Regex:static"',
     ]
     for dep in deps:
         if dep in _KNOWN_DEPS: