nettle-src 3.5.1-1

Source of Nettle and logic to build it.
Documentation
/* automagically made - do not fuss with this */

 0x02080008, 0x02082000, 0x00002008, 0x00000000,
 0x02002000, 0x00080008, 0x02080000, 0x02082008,
 0x00000008, 0x02000000, 0x00082000, 0x00002008,
 0x00082008, 0x02002008, 0x02000008, 0x02080000,
 0x00002000, 0x00082008, 0x00080008, 0x02002000,
 0x02082008, 0x02000008, 0x00000000, 0x00082000,
 0x02000000, 0x00080000, 0x02002008, 0x02080008,
 0x00080000, 0x00002000, 0x02082000, 0x00000008,
 0x00080000, 0x00002000, 0x02000008, 0x02082008,
 0x00002008, 0x02000000, 0x00000000, 0x00082000,
 0x02080008, 0x02002008, 0x02002000, 0x00080008,
 0x02082000, 0x00000008, 0x00080008, 0x02002000,
 0x02082008, 0x00080000, 0x02080000, 0x02000008,
 0x00082000, 0x00002008, 0x02002008, 0x02080000,
 0x00000008, 0x02082000, 0x00082008, 0x00000000,
 0x02000000, 0x02080008, 0x00002000, 0x00082008,

 0x08000004, 0x00020004, 0x00000000, 0x08020200,
 0x00020004, 0x00000200, 0x08000204, 0x00020000,
 0x00000204, 0x08020204, 0x00020200, 0x08000000,
 0x08000200, 0x08000004, 0x08020000, 0x00020204,
 0x00020000, 0x08000204, 0x08020004, 0x00000000,
 0x00000200, 0x00000004, 0x08020200, 0x08020004,
 0x08020204, 0x08020000, 0x08000000, 0x00000204,
 0x00000004, 0x00020200, 0x00020204, 0x08000200,
 0x00000204, 0x08000000, 0x08000200, 0x00020204,
 0x08020200, 0x00020004, 0x00000000, 0x08000200,
 0x08000000, 0x00000200, 0x08020004, 0x00020000,
 0x00020004, 0x08020204, 0x00020200, 0x00000004,
 0x08020204, 0x00020200, 0x00020000, 0x08000204,
 0x08000004, 0x08020000, 0x00020204, 0x00000000,
 0x00000200, 0x08000004, 0x08000204, 0x08020200,
 0x08020000, 0x00000204, 0x00000004, 0x08020004,

 0x80040100, 0x01000100, 0x80000000, 0x81040100,
 0x00000000, 0x01040000, 0x81000100, 0x80040000,
 0x01040100, 0x81000000, 0x01000000, 0x80000100,
 0x81000000, 0x80040100, 0x00040000, 0x01000000,
 0x81040000, 0x00040100, 0x00000100, 0x80000000,
 0x00040100, 0x81000100, 0x01040000, 0x00000100,
 0x80000100, 0x00000000, 0x80040000, 0x01040100,
 0x01000100, 0x81040000, 0x81040100, 0x00040000,
 0x81040000, 0x80000100, 0x00040000, 0x81000000,
 0x00040100, 0x01000100, 0x80000000, 0x01040000,
 0x81000100, 0x00000000, 0x00000100, 0x80040000,
 0x00000000, 0x81040000, 0x01040100, 0x00000100,
 0x01000000, 0x81040100, 0x80040100, 0x00040000,
 0x81040100, 0x80000000, 0x01000100, 0x80040100,
 0x80040000, 0x00040100, 0x01040000, 0x81000100,
 0x80000100, 0x01000000, 0x81000000, 0x01040100,

 0x04010801, 0x00000000, 0x00010800, 0x04010000,
 0x04000001, 0x00000801, 0x04000800, 0x00010800,
 0x00000800, 0x04010001, 0x00000001, 0x04000800,
 0x00010001, 0x04010800, 0x04010000, 0x00000001,
 0x00010000, 0x04000801, 0x04010001, 0x00000800,
 0x00010801, 0x04000000, 0x00000000, 0x00010001,
 0x04000801, 0x00010801, 0x04010800, 0x04000001,
 0x04000000, 0x00010000, 0x00000801, 0x04010801,
 0x00010001, 0x04010800, 0x04000800, 0x00010801,
 0x04010801, 0x00010001, 0x04000001, 0x00000000,
 0x04000000, 0x00000801, 0x00010000, 0x04010001,
 0x00000800, 0x04000000, 0x00010801, 0x04000801,
 0x04010800, 0x00000800, 0x00000000, 0x04000001,
 0x00000001, 0x04010801, 0x00010800, 0x04010000,
 0x04010001, 0x00010000, 0x00000801, 0x04000800,
 0x04000801, 0x00000001, 0x04010000, 0x00010800,

 0x00000400, 0x00000020, 0x00100020, 0x40100000,
 0x40100420, 0x40000400, 0x00000420, 0x00000000,
 0x00100000, 0x40100020, 0x40000020, 0x00100400,
 0x40000000, 0x00100420, 0x00100400, 0x40000020,
 0x40100020, 0x00000400, 0x40000400, 0x40100420,
 0x00000000, 0x00100020, 0x40100000, 0x00000420,
 0x40100400, 0x40000420, 0x00100420, 0x40000000,
 0x40000420, 0x40100400, 0x00000020, 0x00100000,
 0x40000420, 0x00100400, 0x40100400, 0x40000020,
 0x00000400, 0x00000020, 0x00100000, 0x40100400,
 0x40100020, 0x40000420, 0x00000420, 0x00000000,
 0x00000020, 0x40100000, 0x40000000, 0x00100020,
 0x00000000, 0x40100020, 0x00100020, 0x00000420,
 0x40000020, 0x00000400, 0x40100420, 0x00100000,
 0x00100420, 0x40000000, 0x40000400, 0x40100420,
 0x40100000, 0x00100420, 0x00100400, 0x40000400,

 0x00800000, 0x00001000, 0x00000040, 0x00801042,
 0x00801002, 0x00800040, 0x00001042, 0x00801000,
 0x00001000, 0x00000002, 0x00800002, 0x00001040,
 0x00800042, 0x00801002, 0x00801040, 0x00000000,
 0x00001040, 0x00800000, 0x00001002, 0x00000042,
 0x00800040, 0x00001042, 0x00000000, 0x00800002,
 0x00000002, 0x00800042, 0x00801042, 0x00001002,
 0x00801000, 0x00000040, 0x00000042, 0x00801040,
 0x00801040, 0x00800042, 0x00001002, 0x00801000,
 0x00001000, 0x00000002, 0x00800002, 0x00800040,
 0x00800000, 0x00001040, 0x00801042, 0x00000000,
 0x00001042, 0x00800000, 0x00000040, 0x00001002,
 0x00800042, 0x00000040, 0x00000000, 0x00801042,
 0x00801002, 0x00801040, 0x00000042, 0x00001000,
 0x00001040, 0x00801002, 0x00800040, 0x00000042,
 0x00000002, 0x00001042, 0x00801000, 0x00800002,

 0x10400000, 0x00404010, 0x00000010, 0x10400010,
 0x10004000, 0x00400000, 0x10400010, 0x00004010,
 0x00400010, 0x00004000, 0x00404000, 0x10000000,
 0x10404010, 0x10000010, 0x10000000, 0x10404000,
 0x00000000, 0x10004000, 0x00404010, 0x00000010,
 0x10000010, 0x10404010, 0x00004000, 0x10400000,
 0x10404000, 0x00400010, 0x10004010, 0x00404000,
 0x00004010, 0x00000000, 0x00400000, 0x10004010,
 0x00404010, 0x00000010, 0x10000000, 0x00004000,
 0x10000010, 0x10004000, 0x00404000, 0x10400010,
 0x00000000, 0x00404010, 0x00004010, 0x10404000,
 0x10004000, 0x00400000, 0x10404010, 0x10000000,
 0x10004010, 0x10400000, 0x00400000, 0x10404010,
 0x00004000, 0x00400010, 0x10400010, 0x00004010,
 0x00400010, 0x00000000, 0x10404000, 0x10000010,
 0x10400000, 0x10004010, 0x00000010, 0x00404000,

 0x00208080, 0x00008000, 0x20200000, 0x20208080,
 0x00200000, 0x20008080, 0x20008000, 0x20200000,
 0x20008080, 0x00208080, 0x00208000, 0x20000080,
 0x20200080, 0x00200000, 0x00000000, 0x20008000,
 0x00008000, 0x20000000, 0x00200080, 0x00008080,
 0x20208080, 0x00208000, 0x20000080, 0x00200080,
 0x20000000, 0x00000080, 0x00008080, 0x20208000,
 0x00000080, 0x20200080, 0x20208000, 0x00000000,
 0x00000000, 0x20208080, 0x00200080, 0x20008000,
 0x00208080, 0x00008000, 0x20000080, 0x00200080,
 0x20208000, 0x00000080, 0x00008080, 0x20200000,
 0x20008080, 0x20000000, 0x20200000, 0x00208000,
 0x20208080, 0x00008080, 0x00208000, 0x20200080,
 0x00200000, 0x20000080, 0x20008000, 0x00000000,
 0x00008000, 0x00200000, 0x20200080, 0x00208080,
 0x20000000, 0x20208000, 0x00000080, 0x20008080,