dockerfile.run

maude

high-performance logical framework

Debian

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

Ubuntu

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

Arch Linux

RUN pacman -S --noconfirm maude

Kali Linux

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

Raspbian

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

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