Re: [ptxdist] [PATCH] nettle: Add alternate url

2017-01-09 Thread Ladislav Michl
On Mon, Jan 09, 2017 at 02:33:04PM +0100, Michael Olbrich wrote: > On Sun, Jan 08, 2017 at 08:57:29PM +0100, Ladislav Michl wrote: > > As lysator.liu.se is currently down, add GNU mirror. > > Works (again?) for me. Applied anyways. Indeed, works for me too, now. I guess someone come to the work

Re: [ptxdist] [PATCH] nettle: Add alternate url

2017-01-09 Thread Michael Olbrich
On Sun, Jan 08, 2017 at 08:57:29PM +0100, Ladislav Michl wrote: > As lysator.liu.se is currently down, add GNU mirror. Works (again?) for me. Applied anyways. Thanks, Michael > Signed-off-by: Ladislav Michl > > diff --git a/rules/nettle.make b/rules/nettle.make > index

[ptxdist] [PATCH] nettle: Add alternate url

2017-01-08 Thread Ladislav Michl
As lysator.liu.se is currently down, add GNU mirror. Signed-off-by: Ladislav Michl diff --git a/rules/nettle.make b/rules/nettle.make index 2d240e657..59df66e15 100644 --- a/rules/nettle.make +++ b/rules/nettle.make @@ -20,12 +20,15 @@ NETTLE_VERSION := 3.3