dockerfile.run

ssrcoq

small scale reflection library for Coq (theories)

Debian

RUN apt-get update && \
    apt-get install -y libssreflect-coq

Ubuntu

RUN apt-get update && \
    apt-get install -y libssreflect-coq

Kali Linux

RUN apt-get update && \
    apt-get install -y libssreflect-coq

Raspbian

RUN apt-get update && \
    apt-get install -y libssreflect-coq

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