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

[Anton Gladky]

2015-11-10 0:15 GMT+01:00 Jose Luis Rivero <jrivero at osrfoundation.org>:
> 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?

Yes, if you want to maintain player, please contact its maintainer and feel
free to move the package under debian-science after his agreement
Anyway, if gazebo is not using this package, it would be good to drop
it from its build-depends.

Cheers

Anton