[robot-player] 01/01: Back to use python-dev

[Jose Luis Rivero]

This is an automated email from the git hooks/post-receive script.

jrivero-guest pushed a commit to branch master
in repository robot-player.

commit 4bd1bc0dd65c24855bc28cc2f91944716952ec55
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Sun Nov 15 01:49:42 2015 +0100

    Back to use python-dev
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index af5a6cb..6862da3 100644
--- a/debian/control
+++ b/debian/control
@@ -14,7 +14,7 @@ Build-Depends: debhelper (>= 9~),
     libboost-thread-dev,
     swig,
     libjpeg-dev,
-    python-all,
+    python-dev,
     dh-python,
     doxygen,
     linux-libc-dev | linux-kernel-headers,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/robot-player.git