From fa53b2abaac529002277dada92465384cdb7e9ec Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 30 Mar 2011 14:39:42 -0600 Subject: [PATCH] Move cvc3-devel and mona-devel to engineering-and-scientific. Add libedit-devel to development-libs. Add bigloo-doc, emacs-bigloo, and polyml-doc to development-tools. Add xemacs-packages-base to editors. Add coq, coq-coqide, coq-doc, coq-emacs, coq-xemacs, csist, cudd, cudd-devel, picosat, and picosat-devel to engineering-and-scientific. Add pocketsphinx-plugin to sound-and-video. Add neXtaw-devel to x-software-development. --- comps-f15.xml.in | 21 +++++++++++++++++++-- comps-f16.xml.in | 21 +++++++++++++++++++-- 2 files changed, 38 insertions(+), 4 deletions(-) diff --git a/comps-f15.xml.in b/comps-f15.xml.in index 3e180f3d..abb40f64 100644 --- a/comps-f15.xml.in +++ b/comps-f15.xml.in @@ -1010,11 +1010,10 @@ rpm-devel slang-devel check-devel - cvc3-devel expatmm-devel libdwarf-devel + libedit-devel libusb-devel - mona-devel poco-devel poco-doc @@ -1077,6 +1076,7 @@ asa astyle bigloo + bigloo-doc bugzilla buildbot bzr @@ -1113,6 +1113,7 @@ ecl ElectricFence elfinfo + emacs-bigloo email2trac epydoc eric @@ -1187,6 +1188,7 @@ plague plague-client polyml + polyml-doc pscan pungi pylint @@ -1401,6 +1403,7 @@ xemacs xemacs-ess xemacs-muse + xemacs-packages-base xemacs-packages-extra xmlcopyeditor zile @@ -1579,7 +1582,16 @@ cdo cernlib-utils chemtool + coq + coq-coqide + coq-doc + coq-emacs + coq-xemacs + csisat + cudd + cudd-devel cvc3 + cvc3-devel cvc3-doc cvc3-emacs cvc3-xemacs @@ -1624,6 +1636,7 @@ maxima maxima-gui mona + mona-devel mona-emacs mona-examples mona-xemacs @@ -1639,6 +1652,8 @@ paraview paw perl-bioperl + picosat + picosat-devel plotutils pvm pvs-sbcl @@ -5612,6 +5627,7 @@ picard pitivi pocketsphinx + pocketsphinx-plugin pulseaudio-module-lirc pulseaudio-module-zeroconf pyvnc2swf @@ -6650,6 +6666,7 @@ icon-slicer libXp-devel mesa-libGLU-devel + neXtaw-devel xorg-x11-server-devel xorg-x11-xbitmaps diff --git a/comps-f16.xml.in b/comps-f16.xml.in index c79dc790..c6690400 100644 --- a/comps-f16.xml.in +++ b/comps-f16.xml.in @@ -1009,11 +1009,10 @@ rpm-devel slang-devel check-devel - cvc3-devel expatmm-devel libdwarf-devel + libedit-devel libusb-devel - mona-devel poco-devel poco-doc @@ -1076,6 +1075,7 @@ asa astyle bigloo + bigloo-doc bugzilla buildbot bzr @@ -1112,6 +1112,7 @@ ecl ElectricFence elfinfo + emacs-bigloo email2trac epydoc eric @@ -1186,6 +1187,7 @@ plague plague-client polyml + polyml-doc pscan pungi pylint @@ -1400,6 +1402,7 @@ xemacs xemacs-ess xemacs-muse + xemacs-packages-base xemacs-packages-extra xmlcopyeditor zile @@ -1578,7 +1581,16 @@ cdo cernlib-utils chemtool + coq + coq-coqide + coq-doc + coq-emacs + coq-xemacs + csisat + cudd + cudd-devel cvc3 + cvc3-devel cvc3-doc cvc3-emacs cvc3-xemacs @@ -1623,6 +1635,7 @@ maxima maxima-gui mona + mona-devel mona-emacs mona-examples mona-xemacs @@ -1638,6 +1651,8 @@ paraview paw perl-bioperl + picosat + picosat-devel plotutils pvm pvs-sbcl @@ -5610,6 +5625,7 @@ picard pitivi pocketsphinx + pocketsphinx-plugin pulseaudio-module-lirc pulseaudio-module-zeroconf pyvnc2swf @@ -6649,6 +6665,7 @@ icon-slicer libXp-devel mesa-libGLU-devel + neXtaw-devel xorg-x11-server-devel xorg-x11-xbitmaps