From 61465482688b69fe20e17bedeed150236c9c1542 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sat, 28 Sep 2019 11:05:15 -0600
Subject: [PATCH] Cudd has been retired in F31+.

---
 comps-f31.xml.in | 2 --
 comps-f32.xml.in | 2 --
 2 files changed, 4 deletions(-)

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>