maude-2.7.1-x86_64-1_slonly.txz


Advertisement

Description

maude - high-performance reflective language

Property Value
Distribution Slackware 14.2
Repository Slackonly x86_64
Package name maude
Package version 2.7.1
Package release 1_slonly
Package architecture x86_64
Package type txz
Installed size 3.16 MB
Download size 904.00 KB
Official Mirror packages.slackonly.com
Maude is a high-performance reflective language and system
supporting both equational and rewriting logic specification
and programming for a wide range of applications.
http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System

Alternatives

Package Version Architecture Repository
maude-2.7.1-i586-1_slonly.txz 2.7.1 i586 Slackonly
maude - - -

Requires

Name Value
buddy -
libtecla -

Download

Type URL
Binary Package maude-2.7.1-x86_64-1_slonly.txz
Source Package unknown

Install Howto

  1. Download maude-2.7.1-x86_64-1_slonly.txz
  2. Install maude txz package:
    # upgradepkg --install-new maude-2.7.1-x86_64-1_slonly.txz

Files

Path
/etc/
/etc/profile.d/maude.sh.new
/install/doinst.sh
/install/slack-desc
/install/slack-required
/usr/
/usr/bin/maude
/usr/doc/
/usr/doc/maude-2.7.1/README
/usr/doc/maude-2.7.1/maude.SlackBuild
/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
mawk-1.3.4-x86_64-1_slonly.txz fast awk implementation
maxima-5.39.0-x86_64-1_slonly.txz a computer algebra system
mbedtls-2.6.1-x86_64-1_slonly.txz Light-weight cryptographic and SSL/TLS library
mbootpack-0.6a-x86_64-2_slonly.txz Multiboot kernel and modules
mcomix-1.2.1-x86_64-1_slonly.txz comic book viewer
mcrl2-201409.1-x86_64-1_slonly.txz micro Common Representation Language 2
mcrypt-2.6.8-x86_64-2_slonly.txz replacement for crypt
mcwm-20130209_2-x86_64-3_slonly.txz Minimalist X11 floating window manager
md5deep-4.4-x86_64-1_slonly.txz tools to compare digests
mda-lv2-1.2.2-x86_64-1_slonly.txz instrument and effect plugins
mdbtools-0.5-x86_64-1_slonly.txz a suite of libraries and utilities to read MDB files
mdds-1.3.1-x86_64-1_slonly.txz Multi-Dimensional Data Structure
mdf2iso-0.3.1-x86_64-1_slonly.txz mdf to iso/cue/toc images converter
mdic-0.8.1-x86_64-2_slonly.txz free/open source multilingual dictionary
mdk3-v6_1bf2bd3-x86_64-1_slonly.txz 802.11 exploit tool
Advertisement
Advertisement