add dbhelper

diff --git a/config.planetlab/develsfa.pkgs b/config.planetlab/develsfa.pkgs
index f18547e..3a55441 100644 (file)
--- a/config.planetlab/develsfa.pkgs
+++ b/config.planetlab/develsfa.pkgs
@@ -11,7 +11,7 @@ package: git make
 package: bzip2 gzip
 #
 # debian packaging tools
-package: build-essential dpatch
+package: build-essential dpatch debhelper
 #package: devscripts
 #
 # our needs