git://git.onelab.eu / build.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
man 5 passwd states following;
[build.git] / config.planetlab / devel.pkgs
diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 33e6032..9e4edb6 100644 (file)
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -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@
 # use local inotify-tools on centos
 package>=f8:inotify-tools-devel 
 ##########
build