gnatspark
integrated development environment for C and Ada
RUN apt-get update && \
apt-get install -y gnat-gps
RUN apt-get update && \
apt-get install -y gnat-gps
RUN apt-get update && \
apt-get install -y gnat-gps