comps-f16.xml.in comps-f17.xml.in

[Jerry James]

 comps-f16.xml.in |    3 +++
 comps-f17.xml.in |    3 +++
 2 files changed, 6 insertions(+)

New commits:
commit 80f5c62a0612a9528b829cbd2262af0cccc33adb
Author: Jerry James <loganjerry at gmail.com>
Date:   Thu Jan 26 09:29:52 2012 -0700

    Add cryptominisat, gap, and ocaml-menhir.

diff --git a/comps-f16.xml.in b/comps-f16.xml.in
index 481ed02..fddb3aa 100644
--- a/comps-f16.xml.in
+++ b/comps-f16.xml.in
@@ -1670,6 +1670,7 @@
       <packagereq type="optional">coq-doc</packagereq>
       <packagereq type="optional">coq-emacs</packagereq>
       <packagereq type="optional">coq-xemacs</packagereq>
+      <packagereq type="optional">cryptominisat</packagereq>
       <packagereq type="optional">csdp</packagereq>
       <packagereq type="optional">csdp-tools</packagereq>
       <packagereq type="optional">csisat</packagereq>
@@ -1692,6 +1693,7 @@
       <packagereq type="optional">funtools</packagereq>
       <packagereq type="optional">gabedit</packagereq>
       <packagereq type="optional">galculator</packagereq>
+      <packagereq type="optional">gap</packagereq>
       <packagereq type="optional">gdl</packagereq>
       <packagereq type="optional">geant321</packagereq>
       <packagereq type="optional">genius</packagereq>
@@ -5019,6 +5021,7 @@
       <packagereq type="optional">ocaml-lablgl-devel</packagereq>
       <packagereq type="optional">ocaml-lablgtk-devel</packagereq>
       <packagereq type="optional">ocaml-labltk-devel</packagereq>
+      <packagereq type="optional">ocaml-menhir-devel</packagereq>
       <packagereq type="optional">ocaml-ocamlgraph-devel</packagereq>
       <packagereq type="optional">ocaml-ocamlnet-devel</packagereq>
       <packagereq type="optional">ocaml-pcre-devel</packagereq>
diff --git a/comps-f17.xml.in b/comps-f17.xml.in
index 1000bd9..5cc9ea0 100644
--- a/comps-f17.xml.in
+++ b/comps-f17.xml.in
@@ -1600,6 +1600,7 @@
       <packagereq type="optional">coq-doc</packagereq>
       <packagereq type="optional">coq-emacs</packagereq>
       <packagereq type="optional">coq-xemacs</packagereq>
+      <packagereq type="optional">cryptominisat</packagereq>
       <packagereq type="optional">csdp</packagereq>
       <packagereq type="optional">csdp-tools</packagereq>
       <packagereq type="optional">csisat</packagereq>
@@ -1622,6 +1623,7 @@
       <packagereq type="optional">funtools</packagereq>
       <packagereq type="optional">gabedit</packagereq>
       <packagereq type="optional">galculator</packagereq>
+      <packagereq type="optional">gap</packagereq>
       <packagereq type="optional">gdl</packagereq>
       <packagereq type="optional">geant321</packagereq>
       <packagereq type="optional">genius</packagereq>
@@ -4650,6 +4652,7 @@
       <packagereq type="optional">ocaml-lablgl-devel</packagereq>
       <packagereq type="optional">ocaml-lablgtk-devel</packagereq>
       <packagereq type="optional">ocaml-labltk-devel</packagereq>
+      <packagereq type="optional">ocaml-menhir-devel</packagereq>
       <packagereq type="optional">ocaml-ocamlgraph-devel</packagereq>
       <packagereq type="optional">ocaml-ocamlnet-devel</packagereq>
       <packagereq type="optional">ocaml-pcre-devel</packagereq>