maude-2.7.1-2-x86_64.pkg.tar.xz


Advertisement

Description

maude - High-level Specification Language

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name maude
Package version 2.7.1
Package release 2
Package architecture x86_64
Package type xz
Installed size 3.36 MB
Download size 957.80 KB
Official Mirror ftp5.gwdg.de
High-level Specification Language.
Packager: Antonio Rojas <arojas@archlinux.org>. License: GPL

Alternatives

Package Version Architecture Repository
maude - - -

Requires

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

Download

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

Install Howto

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

Files

Path
/etc/
/etc/profile.d/maude.sh
/usr/
/usr/bin/maude
/usr/share/
/usr/share/maude/full-maude.maude
/usr/share/maude/linear.maude
/usr/share/maude/machine-int.maude
/usr/share/maude/metaInterpreter.maude
/usr/share/maude/model-checker.maude
/usr/share/maude/prelude.maude
/usr/share/maude/smt.maude
/usr/share/maude/socket.maude
/usr/share/maude/term-order.maude

See Also

Package Description
maven-3.5.2-1-any.pkg.tar.xz A Java project management and project comprehension tool
maxima-ecl-5.41.0-1-x86_64.pkg.tar.xz A sophisticated computer algebra system (compiled against ecl)
mayavi-4.5.0-6-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.8.0-1-x86_64.pkg.tar.xz Portable cryptographic and SSL/TLS library, aka polarssl
mc-4.8.21-1-x86_64.pkg.tar.xz Midnight Commander is a text based filemanager/shell that emulates Norton Commander
mcabber-1.1.0-1-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.2-1-any.pkg.tar.xz The Marionette Collective, a framework for building server orchestration or parallel job-execution systems
mcomix-1.2.1-3-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.2-3-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
mdk3-v6-6-x86_64.pkg.tar.xz WLAN penetration tool
Advertisement
Advertisement