maude - High-level Specification Language

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename maude-2.7.1-3-x86_64.pkg.tar.xz
Package name maude
Package version 2.7.1
Package release 3
Package architecture x86_64
Package type xz
License GPL
Maintainer Felix Yan <>
Download size 958.86 KB
Installed size 3.38 MB


Package Version Architecture Repository
maude - - -


Name Value
buddy -
cvc4 -
gmp -
libsigsegv -
libtecla -


Type URL
Binary Package maude-2.7.1-3-x86_64.pkg.tar.xz
Source Package maude

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    Include = /etc/pacman.d/mirrorlist
  2. Install maude xz package:
    # pacman -Sy maude



See Also

Package Description
maven-3.6.3-1-any.pkg.tar.xz Java project management and project comprehension tool
maxima-ecl-5.43.2-1-x86_64.pkg.tar.zst A sophisticated computer algebra system (compiled against ecl)
mayavi-4.7.1-3-x86_64.pkg.tar.xz A 3-dimensional visualizer of scientific data
mb2md-3.20-5-any.pkg.tar.xz A perl script that takes one or more mbox mailboxes and convert them in maildir mailboxes
mbedtls-2.16.3-1-x86_64.pkg.tar.xz Portable cryptographic and SSL/TLS library, aka polarssl
mbelib-1.3.0-1-x86_64.pkg.tar.xz Voice codecs for P25, ProVoice, Half Rate
mc-4.8.24-1-x86_64.pkg.tar.xz A file manager that emulates Norton Commander
mcabber-1.1.0-2-x86_64.pkg.tar.xz A small Jabber console client, includes features: SSL, PGP, MUC, UTF8
mcdp-0.4b-4-x86_64.pkg.tar.xz Small console cd player
mcollective-2.12.5-2-any.pkg.tar.xz The Marionette Collective, a framework for building server orchestration or parallel job-execution systems
mcomix-1.2.1-5-any.pkg.tar.xz A user-friendly, customizable image viewer specifically designed to handle comic books
mcp-plugins-0.4.0-5-x86_64.pkg.tar.xz A set of LADSPA filters plugins
mcqd-1.0.0-1-x86_64.pkg.tar.xz Maximum Clique Algorithm for finding a maximum clique in an undirected graph
mda.lv2-1.2.4-1-x86_64.pkg.tar.xz A port of the MDA VST plugins to LV2
mdf2iso-0.3.1-2-x86_64.pkg.tar.xz Converts Alcohol 120% .mdf files to .iso files