arm-linux-gnueabihf-gnatname
GNU Ada compiler
RUN apt-get update && \
apt-get install -y gnat-6-arm-linux-gnueabihf
RUN apt-get update && \
apt-get install -y gnat-5-arm-linux-gnueabihf
RUN apt-get update && \
apt-get install -y gnat-8-arm-linux-gnueabihf
RUN apt-get update && \
apt-get install -y gnat-6