Install

All systems

curl cmd.cat/mipsisa64r6-linux-gnuabi64-gnatfind-8.sh

Debian

apt-get install gnat-8-mipsisa64r6-linux-gnuabi64

Ubuntu

apt-get install gnat-8-mipsisa64r6-linux-gnuabi64

Windows (WSL2)

sudo apt-get update sudo apt-get install gnat-8-mipsisa64r6-linux-gnuabi64

Dockerfile

dockerfile.run/mipsisa64r6-linux-gnuabi64-gnatfind-8