Re: Bug#802032: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
On 11/10/2015 08:11 AM, Paul Gevers wrote:
> Hi Jose
>
> On 10-11-15 06:25, Anton Gladky wrote:
>> 2015-11-10 0:15 GMT+01:00 Jose Luis Rivero
>> <jrivero@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.
>
Your options seems reasonable to me. I've made the changes needed in
the gazebo git and update the changelog. Anton, feel free to go ahead
with the upload please.
- --
Jose Luis Rivero <jrivero@osrfoundation.org>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)
iQEcBAEBCgAGBQJWQh03AAoJEF6UbAkK/wQnLK4IALrnk9anKGuA5CC2rmGlrVLv
y/nGDW3Wn3bGZo4BxBGBF4YnVGwlJUDWQaEIUuN89A+zCOviktINnaiLpk2N3wcf
dTb2iuFEcB18YO5LYW7w1bS3kR/uUDEgnWuRrExs+hpaCjQGxKULbopTGm+LH6sw
a+uQwdTWaJVblucVIS6J05h6Rmg4Uy+LJu3wZkrt/sq4Cbk56SDN98Jw+XWwhWHn
fg1mwlcJ19hDdE8J7sgbPWFduRa0XWu0S7ShyG6/gsTaUmp0YCVWIaY/qGURkkRa
bbUB20krdTMZt9FowXsFu3y1sOpOcLCN9Gp0+e7rBxkFDkJfTQe63dVnBy+TKH4=
=KRNv
-----END PGP SIGNATURE-----
Reply to: