dockerfile.run – coqtags

coqtags

generic frontend for proof assistants

Debian

RUN apt-get update && \
    apt-get install -y proofgeneral

Ubuntu

RUN apt-get update && \
    apt-get install -y proofgeneral

Fedora

RUN dnf install -y emacs-common-proofgeneral

Raspbian

RUN apt-get update && \
    apt-get install -y proofgeneral

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