On Sun, 8 Jul 2012 01:34:08 +0200, Jakub Wilk <jw...@debian.org> wrote: > Package: racket,planet-venus > Severity: serious > Justification: Policy 10.1 > > Both racket and planet-venus install /usr/bin/planet with completely > different functionality. This is a serious violation of Policy ยง10.1.
Hi Jakub; Thanks for finding this (old) bug. /usr/bin/planet has been provided by drscheme (which later became plt-scheme and then racket) since at least version 352-6 (from October 2006). I didn't look farther than that, but it seems clear the name was taken when planet-venus was uploaded. Noah, what do you think about renaming the binary provided by planet-venus to something like /usr/bin/planet-venus? David -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org