diff --git a/template-rocq/_PluginProject.in b/template-rocq/_PluginProject.in
index 70dc3bb7c..7d91adfb5 100644
--- a/template-rocq/_PluginProject.in
+++ b/template-rocq/_PluginProject.in
@@ -116,6 +116,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
@@ -186,6 +188,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 4c32d6eab..013e4676c 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