coqmktop

development libraries and tools for Coq

Debian 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 Arch Linux
RUN pacman -S --noconfirm coq
image/svg+xml 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