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

Add cryptominisat, gap, and ocaml-menhir.

This commit is contained in:
Jerry James 2012-01-26 09:29:52 -07:00
parent bbb49772cf
commit 80f5c62a06
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
comps-f16.xml.in
View File

@ -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>

3
comps-f17.xml.in
View File

@ -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>