davidlt
/
fedora-comps
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Cudd has been retired in F31+.

This commit is contained in:
Jerry James 2019-09-28 11:05:15 -06:00
parent dd4afcfe61
commit 6146548268
2 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
comps-f31.xml.in
View File

@ -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>

2
comps-f32.xml.in
View File

@ -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>