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 /gnu/build/install.scm | |
parent | 99ff4b102c82d27a7d0bd3054f97226d28dfc8eb (diff) | |
download | patches-da3c6a7f19ef1243af725f63c16c8fd92fde33b4.tar patches-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 'gnu/build/install.scm')
0 files changed, 0 insertions, 0 deletions