diff --git a/rocq-brick-libstdcpp/dune-project b/rocq-brick-libstdcpp/dune-project
index fb0b17fd..8bdc7451 100644
--- a/rocq-brick-libstdcpp/dune-project
+++ b/rocq-brick-libstdcpp/dune-project
@@ -21,6 +21,7 @@
  (synopsis "SkyLabs AI BRiCk: C++ standard library (libstdc++)")
  (depends
   (rocq-skylabs-cpp2v (= dev))
+  rocq-skylabs-brick-cpp-prog
   elpi-cpp
   rocq-skylabs-auto-core
   rocq-skylabs-auto-cpp))
diff --git a/rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam b/rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam
index 4852bcf6..b637c489 100644
--- a/rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam
+++ b/rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam
@@ -15,6 +15,7 @@ bug-reports: "https://github.com/SkyLabsAI/brick-libcpp/issues"
 depends: [
   "dune" {>= "3.22"}
   "rocq-skylabs-cpp2v" {= "dev"}
+  "rocq-skylabs-brick-cpp-prog"
   "elpi-cpp"
   "rocq-skylabs-auto-core"
   "rocq-skylabs-auto-cpp"