x86_64-linux-gnu-gnatmake
GNU Ada compiler
RUN apt-get update && \
apt-get install -y gnat-8
RUN apt-get update && \
apt-get install -y gnat-5
RUN apt-get update && \
apt-get install -y gnat-8
RUN apt-get update && \
apt-get install -y gnat-5