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