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

Remove csisat, since it is now retired.

Browse Source
This commit is contained in:
Jerry James 2015-10-06 21:36:21 -06:00
parent 012b4ffb18
commit 1c316bf969
2 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
comps-f23.xml.in
View File

@ -1465,7 +1465,6 @@
<packagereq type="optional">cryptominisat</packagereq>
<packagereq type="optional">csdp</packagereq>
<packagereq type="optional">csdp-tools</packagereq>
<packagereq type="optional">csisat</packagereq>
<packagereq type="optional">cudd</packagereq>
<packagereq type="optional">cudd-devel</packagereq>
<packagereq type="optional">cvc3</packagereq>

1
comps-f24.xml.in
View File

@ -1465,7 +1465,6 @@
<packagereq type="optional">cryptominisat</packagereq>
<packagereq type="optional">csdp</packagereq>
<packagereq type="optional">csdp-tools</packagereq>
<packagereq type="optional">csisat</packagereq>
<packagereq type="optional">cudd</packagereq>
<packagereq type="optional">cudd-devel</packagereq>
<packagereq type="optional">cvc3</packagereq>