Ok. It appears slightly odd in the pkg catalog list, in which everything else listed by default is (a) outside of the main repository and (b) linked to a git repository. I'm not sure what the right solution there is.
Sam On Wed, Oct 2, 2013 at 11:25 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > The `gui-pkg-manager` omission is intentional, since it's the same as > DrRacket's "Package Manager..." menu item, and I think it's best to > keep the number of GUI applications to a minimum (especially for Mac OS > X users). I have no strong objection if others want to include it, > though. > > At Wed, 2 Oct 2013 10:52:57 -0400, Sam Tobin-Hochstadt wrote: >> The packages 'gui-pkg-manager' and 'distributed-places' are on the pkg >> catalog, but not in 'main-distribution'. I'm pushing a change for the >> latter, which appears to just be an oversight, but is the same true >> for the 'gui-pkg-manager'? >> >> Sam > _________________________ Racket Developers list: http://lists.racket-lang.org/dev