From 2982b54ceb0d3f3dfc63abaef5eb626861ad5498 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Tue, 3 Jan 2012 08:51:07 -0700
Subject: [PATCH] Add polybori, polybori-gui, and polybori-ipbori.

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

diff --git a/comps-f17.xml.in b/comps-f17.xml.in
index 8da57061..7757f1ab 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>