coqmktop
development libraries and tools for Coq
RUN apt-get update && \
apt-get install -y libcoq-ocaml-dev
RUN apt-get update && \
apt-get install -y libcoq-ocaml-dev
RUN pacman -S --noconfirm coq
RUN apt-get update && \
apt-get install -y libcoq-ocaml-dev
RUN dnf install -y coq
RUN apt-get update && \
apt-get install -y libcoq-ocaml-dev