Gustavo Zacarias d7139cd936 gmp: work around ARM thumb build breakage il y a 14 ans
..
Config.in 21f7b8bcce gmp: make it a proper package and bump to version 5.0.1 il y a 14 ans
gmp.mk d7139cd936 gmp: work around ARM thumb build breakage il y a 13 ans