x86_64-linux-gnu-gnatprep
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