> Author: sandervanderburg
> Date: 2008-08-26 22:12:03 +0000 (Tue, 26 Aug 2008)
> New Revision: 12731
> Log:
> Changed GWT widgets mirror to heanet
> src = fetchurl {
> - url =
> http://kent.dl.sourceforge.net/sourceforge/gwt-widget/gwt-widgets-0.1.5-bin.tar.gz;
> + url =
> http://heanet.dl.sourceforge.net/sourceforge/gwt-widget/gwt-widgets-0.1.5-bin.tar.gz;
> md5 = "daf59b3bc28a9045b6165f185e3e77a0";
> };
> }
Is there any good reason why you cannot use
url = mirror://sourceforge/gwt-widget/gwt-widgets-0.1.5-bin.tar.gz;
?
Cheers,
Andres
_______________________________________________
nix-dev mailing list
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev
