maude

high-performance logical framework

  • Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
  • Homepage: http://maude.cs.uiuc.edu
  • Section: science
Debian Debian
RUN apt-get update && \ apt-get install -y maude
Ubuntu
RUN apt-get update && \ apt-get install -y maude
Arch Arch Linux
RUN pacman -S --noconfirm maude
image/svg+xml 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