diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-11-24 08:49:48 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-12-11 18:10:15 +0100 |
| commit | da3c6a7f19ef1243af725f63c16c8fd92fde33b4 (patch) | |
| tree | 4ca28304c89a6a9617c1aa535fd7ed0fd00c0b3d /doc/local.mk | |
| parent | 99ff4b102c82d27a7d0bd3054f97226d28dfc8eb (diff) | |
| download | guix-da3c6a7f19ef1243af725f63c16c8fd92fde33b4.tar guix-da3c6a7f19ef1243af725f63c16c8fd92fde33b4.tar.gz | |
bootstrap: Switch to official bootstrap urls.
Built with
4ae7dc7b9af64794081b1913740b97acd89c91bc
gnu: Remove duplicate linux-libre-headers package from bootstrap inputs.
* gnu/packages/bootstrap.scm (%bootstrap-linux-libre-headers): Switch to
official bootstrap urls.
(%bootstrap-mescc-tools): Likewise.
(%bootstrap-mes): Likewise.
Diffstat (limited to 'doc/local.mk')
0 files changed, 0 insertions, 0 deletions