comps-f17.xml.in

[Jerry James]

 comps-f17.xml.in |    3 +++
 1 file changed, 3 insertions(+)

New commits:
commit 2982b54ceb0d3f3dfc63abaef5eb626861ad5498
Author: Jerry James <loganjerry at gmail.com>
Date:   Tue Jan 3 08:51:07 2012 -0700

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

diff --git a/comps-f17.xml.in b/comps-f17.xml.in
index 8da5706..7757f1a 100644
--- a/comps-f17.xml.in
+++ b/comps-f17.xml.in
@@ -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>