use pending master heads - updated modules.list to point to vsys's

[build.git] / config.planetlab / devel.pkgs

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index bdea8b7..d815283 100644 (file)
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -1,8 +1,7 @@
-# $Id$
-# $URL$
 #
 groupname: PlanetLabDevel
 groupdesc: Building PlanetLab
+#
 # general utilities
 package: sendmail sendmail-cf mailx 
 package: make git
@@ -51,6 +50,7 @@ package: wget
 package: beecrypt-devel 
 package: tetex-latex
 package: gcc-c++ 
+package: binutils-devel
 # iptables
 package: linuxdoc-tools 
 package: sudo 
@@ -86,7 +86,7 @@ package: pciutils-devel
 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 
 ##########