Re: [PATCH 11/17] gnu: Add make-linux-libre-source.

2016-09-11 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/linux-libre.scm (make-linux-libre-source): New variable. > (linux-libre, linux-libre-4.4, linux-libre-4.1): Use > make-linux-libre-source. > (linux-libre-urls): Remove. [...] > -(define (linux-libre-urls version) > - "Return a list of URLs for Linux

Re: [PATCH 11/17] gnu: Add make-linux-libre-source.

2016-09-11 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/linux-libre.scm (make-linux-libre-source): New variable. > (linux-libre, linux-libre-4.4, linux-libre-4.1): Use > make-linux-libre-source. > (linux-libre-urls): Remove. [...] > -(define (linux-libre-urls version) > - "Return a list of URLs for Linux