[racket-dev] drracket pkgs

There is now a new, small drracket pkg called drracket-plugin-lib that
provides just enough to be able to define a tool. So, if you have a package
that has a drracket plugin, but doesn't necessarily need drracket itself to
work, you can make it depend only on drracket-plugin-lib, and not drracket.

I made this change for some packages, but not for these, where it may be
sensible to do so, but it seemed more like they really wanted drracket
around:

  deinprogramm
  htdp-lib
  frtime

Robby
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130811/0eae1330/attachment.html>