diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-12-18 16:58:09 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-18 18:38:22 +0100 |
commit | 8309c3899aee9429df51eba4566c67d0cc27f68c (patch) | |
tree | 0bd884752f981177eca30d711c41dcd28d263289 /tests/signing-key.pub | |
parent | c5b65f7e2bd907a5b7061a42959c485d69ba1ac6 (diff) | |
download | patches-8309c3899aee9429df51eba4566c67d0cc27f68c.tar patches-8309c3899aee9429df51eba4566c67d0cc27f68c.tar.gz |
gnu: commencement: Use GMP 6.0.0a for bootstrapping.
* gnu/packages/multiprecision.scm (gmp-6.0): New variable.
* gnu/packages/commencement.scm (gcc-boot0, gcc-final): Use it.
* gnu/packages/patches/gmp-arm-asm-nothumb.patch: New file, reinstated
from before e414a7d.
* gnu-system.am (dist_patch_DATA): Add it.
Diffstat (limited to 'tests/signing-key.pub')
0 files changed, 0 insertions, 0 deletions