dockerfile.run – mcrl2-gui

mcrl2-gui

formal specification language toolset

Debian

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

Ubuntu

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

Kali Linux

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

Raspbian

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

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