Bug#802032: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)

[Paul Gevers]

Hi Jose

On 10-11-15 06:25, Anton Gladky wrote:
> 2015-11-10 0:15 GMT+01:00 Jose Luis Rivero <jrivero at osrfoundation.org>:
> Anyway, if gazebo is not using this package, it would be good to drop
> it from its build-depends.

This is my opinion as well. As gazebo doesn't use player, please just
remove the dependency. After that, if you get the player package in
shape in time (I won't remove the moreinfo tag on the removal request
quickly) then you can just upload a new version of player. If it takes
too long, we can just remove it without further ado.

Paul

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20151110/075033d2/attachment.sig>