dockerfile.run – coqmktop

coqmktop

development libraries and tools for Coq

Debian

RUN apt-get update && \
    apt-get install -y libcoq-ocaml-dev

Ubuntu

RUN apt-get update && \
    apt-get install -y libcoq-ocaml-dev

Arch Linux

RUN pacman -S --noconfirm coq

Kali Linux

RUN apt-get update && \
    apt-get install -y libcoq-ocaml-dev

Fedora

RUN dnf install -y coq

Raspbian

RUN apt-get update && \
    apt-get install -y libcoq-ocaml-dev

click the source code to copy install coqmktop on any operating system with command-not-found.com