diff --git a/comps-f31.xml.in b/comps-f31.xml.in
index 5b97dea7..6b4ea369 100644
--- a/comps-f31.xml.in
+++ b/comps-f31.xml.in
@@ -1517,8 +1517,6 @@
       <packagereq type="optional">cryptominisat</packagereq>
       <packagereq type="optional">csdp</packagereq>
       <packagereq type="optional">csdp-tools</packagereq>
-      <packagereq type="optional">cudd</packagereq>
-      <packagereq type="optional">cudd-devel</packagereq>
       <packagereq type="optional">cvc4</packagereq>
       <packagereq type="optional">cvc4-devel</packagereq>
       <packagereq type="optional">cvc4-doc</packagereq>
diff --git a/comps-f32.xml.in b/comps-f32.xml.in
index af3de827..5b5e883a 100644
--- a/comps-f32.xml.in
+++ b/comps-f32.xml.in
@@ -1516,8 +1516,6 @@
       <packagereq type="optional">cryptominisat</packagereq>
       <packagereq type="optional">csdp</packagereq>
       <packagereq type="optional">csdp-tools</packagereq>
-      <packagereq type="optional">cudd</packagereq>
-      <packagereq type="optional">cudd-devel</packagereq>
       <packagereq type="optional">cvc4</packagereq>
       <packagereq type="optional">cvc4-devel</packagereq>
       <packagereq type="optional">cvc4-doc</packagereq>