# [run] Debian 10

FROM debian:buster-slim AS mcode

RUN apt-get update -qq \
 && apt-get -y install libgnat-7 gcc libc6-dev \
 && apt-get autoclean && apt-get clean && apt-get autoremove


FROM mcode AS mcode-gpl