diff --git a/template-rocq/_PluginProject.in b/template-rocq/_PluginProject.in
index c06e53c91..60e1f3d62 100644
--- a/template-rocq/_PluginProject.in
+++ b/template-rocq/_PluginProject.in
@@ -118,6 +118,8 @@ gen-src/list0.ml
 gen-src/list0.mli
 gen-src/listDef.ml
 gen-src/listDef.mli
+gen-src/listDef0.ml
+gen-src/listDef0.mli
 gen-src/logic0.ml
 gen-src/logic0.mli
 gen-src/logic1.ml
@@ -204,6 +206,8 @@ gen-src/plugin_core.ml
 gen-src/plugin_core.mli
 gen-src/posDef.ml
 gen-src/posDef.mli
+gen-src/posDef0.ml
+gen-src/posDef0.mli
 gen-src/pretty.ml
 gen-src/pretty.mli
 gen-src/primFloat.ml
diff --git a/template-rocq/gen-src/metarocq_template_plugin.mlpack b/template-rocq/gen-src/metarocq_template_plugin.mlpack
index cc1974a43..093a8d3b4 100644
--- a/template-rocq/gen-src/metarocq_template_plugin.mlpack
+++ b/template-rocq/gen-src/metarocq_template_plugin.mlpack
@@ -8,6 +8,7 @@ Numeral0
 Nat0
 Caml_nat
 ListDef
+ListDef0
 List0
 PeanoNat
 Specif
@@ -16,6 +17,7 @@ BinPosDef
 BinNums
 BinPos
 PosDef
+PosDef0
 BinNat
 NatDef
 BinInt