gnu: linux-libre: Add alternate URLs.
authorLudovic Courtès <ludo@gnu.org>
Wed, 17 Jul 2013 13:32:52 +0000 (15:32 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 17 Jul 2013 13:32:52 +0000 (15:32 +0200)
commit6023cc74290831c49c4f5a7d9fc055d4493ad055
tree6100e687dc8ed2e4acfa33c1ca73b13c6417972b
parent18555772079bb568173355a4f972e4add87a26b3
gnu: linux-libre: Add alternate URLs.

Fixes <http://bugs.gnu.org/14851>.
Reported by Andreas Enge <andreas@enge.fr>.

* gnu/packages/linux.scm (linux-libre-urls): New procedure.
  (linux-libre-headers, linux-libre): Use it.
gnu/packages/linux.scm