[plt-scheme] download links for planet packages

Bruno Deferrari wrote:
> Sometimes you don't have internet access from where you use mzscheme,
> and you have to download the packages from another place, and having
> to install drscheme to being able to do download them isn't very nice.
Yes, that and in my particular case I was using mzscheme at work and use
a proxy to get to the internet. I dont know how to tell planet to use
this proxy when accessing url's so it always fails to get to the
internet. It would be nice to download the .plt file and install it
using the planet command line tool.