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

Add polybori, polybori-gui, and polybori-ipbori.

Browse Source
This commit is contained in:
Jerry James 2012-01-03 08:51:07 -07:00
parent 9ca6009a73
commit 2982b54ceb
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
comps-f17.xml.in
View File

@ -1666,6 +1666,9 @@
<packagereq type="optional">picosat</packagereq>
<packagereq type="optional">picosat-devel</packagereq>
<packagereq type="optional">plotutils</packagereq>
<packagereq type="optional">polybori</packagereq>
<packagereq type="optional">polybori-gui</packagereq>
<packagereq type="optional">polybori-ipbori</packagereq>
<packagereq type="optional">pvm</packagereq>
<packagereq type="optional">pvs-sbcl</packagereq>
<packagereq type="optional">pypop</packagereq>