diff --git a/comps-f16.xml.in b/comps-f16.xml.in
index 481ed026..fddb3aae 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 1000bd96..5cc9ea09 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>