Hi Jose On 10-11-15 06:25, Anton Gladky wrote: > 2015-11-10 0:15 GMT+01:00 Jose Luis Rivero <jriv...@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. Paul
signature.asc
Description: OpenPGP digital signature
-- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
