From 2ee96cd488e2f67064fef15a7715c084caf66718 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 16 Jan 2013 20:57:13 +0100
Subject: [PATCH] install devscripts for debuild

---
 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 3a554412..81141340 100644
--- a/config.planetlab/develsfa.pkgs
+++ b/config.planetlab/develsfa.pkgs
@@ -12,7 +12,7 @@ package: bzip2 gzip
 #
 # debian packaging tools
 package: build-essential dpatch debhelper
-#package: devscripts
+package: devscripts
 #
 # our needs
 package: python python-devel 
-- 
2.47.0