(root)/

gmp-6.3.0/

mpn/

arm64/

cora72/