tamasmeszaros abdcc88e9a Add explicit flags for GMP and MPFR
Bump up arm version to 7

armv7-a has to be added as march, rpi4 fails to build with plain armv7
fixes #3847
2020-03-18 12:18:07 +01:00
..
2020-03-18 12:18:07 +01:00
2020-03-18 12:18:07 +01:00
2019-11-29 13:10:30 +01:00
2019-12-11 14:01:14 +01:00
2019-12-11 14:01:14 +01:00
2020-01-23 17:20:02 +01:00
2019-10-25 13:15:21 +02:00