<div dir="ltr">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&#39;t necessarily need drracket itself to work, you can make it depend only on drracket-plugin-lib, and not drracket.<div>
<br></div><div>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:</div><div><br></div><div>  deinprogramm</div><div>  htdp-lib</div>
<div>  frtime</div><div><br></div><div>Robby</div><div><br></div></div>