diff --git a/comps-f11.xml.in b/comps-f11.xml.in
index 9d9a8d52..d289417a 100644
--- a/comps-f11.xml.in
+++ b/comps-f11.xml.in
@@ -872,6 +872,7 @@
       <packagereq type="default">rpm-devel</packagereq>
       <packagereq type="default">slang-devel</packagereq>
       <packagereq type="optional">check-devel</packagereq>
+      <packagereq type="optional">cvc3-devel</packagereq>
       <packagereq type="optional">expatmm-devel</packagereq>
       <packagereq type="optional">libdwarf-devel</packagereq>
       <packagereq type="optional">libusb-devel</packagereq>
@@ -1366,6 +1367,10 @@
       <packagereq type="optional">cdo</packagereq>
       <packagereq type="optional">cernlib-utils</packagereq>
       <packagereq type="optional">chemtool</packagereq>
+      <packagereq type="optional">cvc3</packagereq>
+      <packagereq type="optional">cvc3-doc</packagereq>
+      <packagereq type="optional">cvc3-emacs</packagereq>
+      <packagereq type="optional">cvc3-xemacs</packagereq>
       <packagereq type="optional">dx</packagereq>
       <packagereq type="optional">dx-samples</packagereq>
       <packagereq type="optional">freefem++</packagereq>
diff --git a/comps-f12.xml.in b/comps-f12.xml.in
index 66e439c5..b04955f5 100644
--- a/comps-f12.xml.in
+++ b/comps-f12.xml.in
@@ -966,6 +966,7 @@
       <packagereq type="default">rpm-devel</packagereq>
       <packagereq type="default">slang-devel</packagereq>
       <packagereq type="optional">check-devel</packagereq>
+      <packagereq type="optional">cvc3-devel</packagereq>
       <packagereq type="optional">expatmm-devel</packagereq>
       <packagereq type="optional">libdwarf-devel</packagereq>
       <packagereq type="optional">libusb-devel</packagereq>
@@ -1514,6 +1515,10 @@
       <packagereq type="optional">cdo</packagereq>
       <packagereq type="optional">cernlib-utils</packagereq>
       <packagereq type="optional">chemtool</packagereq>
+      <packagereq type="optional">cvc3</packagereq>
+      <packagereq type="optional">cvc3-doc</packagereq>
+      <packagereq type="optional">cvc3-emacs</packagereq>
+      <packagereq type="optional">cvc3-xemacs</packagereq>
       <packagereq type="optional">dx</packagereq>
       <packagereq type="optional">dx-samples</packagereq>
       <packagereq type="optional">freefem++</packagereq>
diff --git a/comps-f13.xml.in b/comps-f13.xml.in
index b7f187ed..c62e813b 100644
--- a/comps-f13.xml.in
+++ b/comps-f13.xml.in
@@ -957,6 +957,7 @@
       <packagereq type="default">rpm-devel</packagereq>
       <packagereq type="default">slang-devel</packagereq>
       <packagereq type="optional">check-devel</packagereq>
+      <packagereq type="optional">cvc3-devel</packagereq>
       <packagereq type="optional">expatmm-devel</packagereq>
       <packagereq type="optional">libdwarf-devel</packagereq>
       <packagereq type="optional">libusb-devel</packagereq>
@@ -1505,6 +1506,10 @@
       <packagereq type="optional">cdo</packagereq>
       <packagereq type="optional">cernlib-utils</packagereq>
       <packagereq type="optional">chemtool</packagereq>
+      <packagereq type="optional">cvc3</packagereq>
+      <packagereq type="optional">cvc3-doc</packagereq>
+      <packagereq type="optional">cvc3-emacs</packagereq>
+      <packagereq type="optional">cvc3-xemacs</packagereq>
       <packagereq type="optional">dx</packagereq>
       <packagereq type="optional">dx-samples</packagereq>
       <packagereq type="optional">freefem++</packagereq>