4 Commits

Author SHA1 Message Date
Sebastian Huber
3cad3c8cc9 6: Use mpc-1.0.3
This is necessary since mpc-1.2.1 requires mpfr-4.1.0.
2022-04-27 08:29:19 +02:00
Sebastian Huber
7eaefb28ee 6: Use isl-0.18
There are build problems with isl-0.24 on CentOS 7.9.
2022-04-27 07:28:24 +02:00
Sebastian Huber
22cb79b1f0 6: Use mpfr-3.1.6
There are build problems with mpfr-4.1.0 on macOS.
2022-04-27 07:20:27 +02:00
Sebastian Huber
6cf31074fa 6/7: Update GCC prerequisites for GCC 10 and 12 2022-04-22 08:46:06 +02:00