Installing libadalang_tools via alire in Void Linux musl fails with missing dependency libgmp

Help
2

As per Alire not finding libgmp ... but it is there in /usr/lib

Have you tried removing the dependency from gnatcoll_gmp?
Or linking libgmp to /use/lib64/?
Or (depending on what pkg-config outputs) modifying libgmp-external.toml?