[Nix-dev] Re: Re: new nixpkg: hol

[Yury G. Kudryashov]

Michael Raskin wrote:

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> On 08/25/2010 06:00 PM, Yury G. Kudryashov wrote:
>> Just mirror://sourceforge/hol/kananaskis-5.tar.gz should work.
> 
> And frankly, I am not sure which is better. SF.net does a nice job at
> redirecting you to a close mirror.
Then we should use downloads.sf.net as a first mirror. For me, mirror:// URL 
has better semantics.