christos 5f34f68b67 fix lint build on vax		2022-05-31 17:52:35 +00:00
..
gmp	fix lint build on vax	2022-05-31 17:52:35 +00:00
mpc	libmpc: suppress wrong lint warnings	2022-05-14 11:12:31 +00:00
mpfr	Handle mipsn64	2021-04-25 23:52:59 +00:00