From be1b79f9ca426e61de026ce3299ee825ec85d46e Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 17 Jan 2013 00:55:08 +0100
Subject: [PATCH] python-dev, not python-devel; but we don't need it yet

---
 config.planetlab/develsfa.pkgs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/config.planetlab/develsfa.pkgs b/config.planetlab/develsfa.pkgs
index 3896228b..3574d258 100644
--- a/config.planetlab/develsfa.pkgs
+++ b/config.planetlab/develsfa.pkgs
@@ -18,9 +18,13 @@ package: build-essential dpatch debhelper
 package: devscripts
 #
 # our needs
-package: python python-devel 
+package: python 
+# apparently this is not required yet
+# package: python-dev 
+# 
 # required for the wsdl stage
 package: python-dateutil python-openssl python-m2crypto python-lxml xsltproc
+# 
 # xmlbuilder
 package: python-setuptools
 #
-- 
2.47.0