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

[Jose Luis Rivero]

On 11/09/2015 08:22 PM, Anton Gladky wrote:
> Hi Peter,
> 
> 2015-11-09 20:16 GMT+01:00 Paul Gevers <elbrus at debian.org>:
>> Could we please agree on the way how to make Debian slightly better (I propose to
>> remove player).
> 
> Sure, I can prepare such an upload. Jose, are you OK with that?
> 

Oh, I promised to the player maintainer to help with this package as it
has been quite used by the robotics community some years ago and I think
that it has still some users (part of them from gazebo support).

Looks like patches are floating around to fix the serious bugs. Would
you mind if I import it to debian-science and patch the whole thing?

Thanks.



-- 
Jose Luis Rivero <jrivero at osrfoundation.org>