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

To: Paul Gevers <elbrus@debian.org>, Jose Luis Rivero <jrivero@osrfoundation.org>
Cc: Debian Science <debian-science@lists.debian.org>, 802032@bugs.debian.org
Subject: Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)
From: Anton Gladky <gladk@debian.org>
Date: Mon, 9 Nov 2015 20:22:27 +0100
Message-id: <[🔎] CALF6qJk9inc36XEJv4W5VhmQr8uVvYznRpQZ959n5q7q_rdcMg@mail.gmail.com>
In-reply-to: <[🔎] 5640F10B.8010309@debian.org>
References: <20151017053215.5009.48852.reportbug@ruapehu.marsaxlokk.dhcp.io> <[🔎] 5640F10B.8010309@debian.org>

Hi Peter,

2015-11-09 20:16 GMT+01:00 Paul Gevers <elbrus@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?

Anton

Reply to:

Follow-Ups:
- Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)
  - From: Jose Luis Rivero <jrivero@osrfoundation.org>

References:
- Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)
  - From: Paul Gevers <elbrus@debian.org>

Prev by Date: Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)
Next by Date: Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)
Previous by thread: Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)
Next by thread: Re: gazebo: Don't depend on robot-player-dev (libgazebo5-dev)
Index(es):
- Date
- Thread