[Library manager] Add gmp-ino library (port of the mini-gmp library) #10472
Description
I would like to request to add https://github.com/CAFxX/gmp-ino to the library manager.
{{ message }}
I would like to request to add https://github.com/CAFxX/gmp-ino to the library manager.