Player removed [Was: Bug#802032: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)]

Hi Jose, On 10-11-15 08:11, Paul Gevers wrote: > 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.

Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)

2015-11-10 0:15 GMT+01:00 Jose Luis Rivero : > 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

Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)

Hi Peter, 2015-11-09 20:16 GMT+01:00 Paul Gevers : > 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? Anton

Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)

On 11/09/2015 08:22 PM, Anton Gladky wrote: > Hi Peter, > > 2015-11-09 20:16 GMT+01:00 Paul Gevers : >> 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?