From 7859746ccafdf0f23cb9f4d9fa32a1b88b32df32 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 16 Jan 2013 13:40:25 +0100
Subject: [PATCH] add dbhelper

---
 config.planetlab/develsfa.pkgs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.planetlab/develsfa.pkgs b/config.planetlab/develsfa.pkgs
index f18547e6..3a554412 100644
--- 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
-- 
2.47.0