python-dev, not python-devel; but we don't need it yet
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 16 Jan 2013 23:55:08 +0000 (00:55 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 16 Jan 2013 23:55:08 +0000 (00:55 +0100)
commitbe1b79f9ca426e61de026ce3299ee825ec85d46e
tree7c3802245cfacbb8a663c80e9b1290bdc893e5bc
parentfe92233623020c181fa65cd9af81dfb02dd7f3b3
python-dev, not python-devel; but we don't need it yet
config.planetlab/develsfa.pkgs