-# $Id$
-# $URL$
#
groupname: PlanetLabDevel
groupdesc: Building PlanetLab
+#
# general utilities
package: sendmail sendmail-cf mailx
package: make git
package: beecrypt-devel
package: tetex-latex
package: gcc-c++
+package: binutils-devel
# iptables
package: linuxdoc-tools
package: sudo
package: python-simplejson
##########
# for vsys - same as for php-devel above
-package: ocaml.@arch@ ocaml-ocamldoc
+package: ocaml.@arch@ ocaml-ocamldoc ocaml-docs
# use local inotify-tools on centos
package>=f8:inotify-tools-devel
##########