Install

All systems

curl cmd.cat/mips64el-linux-gnuabi64-gnatlink-6.sh

Debian

apt-get install gnat-6-mips64el-linux-gnuabi64

Ubuntu

apt-get install gnat-6-mips64el-linux-gnuabi64

Windows (WSL2)

sudo apt-get update sudo apt-get install gnat-6-mips64el-linux-gnuabi64

Dockerfile

dockerfile.run/mips64el-linux-gnuabi64-gnatlink-6