diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-07-17 15:32:52 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-07-17 15:32:52 +0200 |
commit | 6023cc74290831c49c4f5a7d9fc055d4493ad055 (patch) | |
tree | 6100e687dc8ed2e4acfa33c1ca73b13c6417972b /NEWS | |
parent | 18555772079bb568173355a4f972e4add87a26b3 (diff) | |
download | gnu-guix-6023cc74290831c49c4f5a7d9fc055d4493ad055.tar gnu-guix-6023cc74290831c49c4f5a7d9fc055d4493ad055.tar.gz |
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.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions