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


Advertisement

Description

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
Homepage http://maude.cs.uiuc.edu
License GPL
Maintainer Felix Yan <felixonmars@archlinux.org>
Download size 958.86 KB
Installed size 3.38 MB

Alternatives

Package Version Architecture Repository
maude - - -

Requires

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

Download

Type URL
Mirror ftp5.gwdg.de
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:
    
    [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.6.2-1-any.pkg.tar.xz Java project management and project comprehension tool
maxima-ecl-5.43.0-2-x86_64.pkg.tar.xz A sophisticated computer algebra system (compiled against ecl)
mayavi-4.7.1-2-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.0-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.23-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.4-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.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
Advertisement
Advertisement