Install

All systems

curl cmd.cat/mips-linux-gnu-gnatclean-5.sh

Ubuntu

apt-get install gnat-5-mips-linux-gnu

Windows (WSL2)

sudo apt-get update sudo apt-get install gnat-5-mips-linux-gnu

Dockerfile

dockerfile.run/mips-linux-gnu-gnatclean-5