Re: patch applied (hugs98): Added handling of URLs in package list

[ I think all relevant people are reading this list, anyway, so I stop this 
annoying cross-posting... ]

On Monday 02 April 2007 19:22, I wrote:
> Mon Apr  2 10:19:28 PDT 2007  [email protected]
>   * Added handling of URLs in package list
>
>     M ./darcs-all -9 +20
>     M ./package-list -1 +2

With this last patch darcs-all is slowly approaching the mind-boggling 
simplicity of the Evil Mangler, and I think its functionality is a strict 
superset of GHC's and nhc's current darcs-all scripts. The package-list in 
the Hugs repo represents GHC's current idea of core/extra packages, it would 
be nice if we could synch this with nhc somehow.

The only things left are a little bit more testing, hooking things into the 
respective build systems and updating the documentation. Note that we have a 
single package-list file now, and Makefiles/scripts should not directly read 
this. Instead, they should use e.g. "darcs-all --extra --list" to get a full 
list of packages or "darcs-all --list" to get only a list of core packages. 
Hmmm, perhaps the former should list *only* extra packages? Or an additional 
flag? Comments are highly welcome...

Cheers,
   S.