Bug#802032: 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

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

Hi all, (Original message obviously sent to the wrong list) On Sat, 17 Oct 2015 07:32:15 +0200 Paul Gevers wrote: > I want to get rid of the player package in Debian in its current state. To > achieve that I filled a request for the removal of player¹, which is correctly > not

Bug#802032: 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 -- debian-science-maintainers mailing list

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

Hi Jose On 10-11-15 06:25, Anton Gladky wrote: > 2015-11-10 0:15 GMT+01:00 Jose Luis Rivero : > 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

Bug#802032: 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?

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

Hi all, On Sat, 17 Oct 2015 07:32:15 +0200 Paul Gevers wrote: > I want to get rid of the player package in Debian in its current state. To > achieve that I filled a request for the removal of player¹, which is correctly > not processed yet. Your package libgazebo5-dev depends

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

Source: gazebo Severity: normal Tags: patch -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Hi Debian Science Maintainers, I want to get rid of the player package in Debian in its current state. To achieve that I filled a request for the removal of player¹, which is correctly not processed yet.