maude-2.7.1-x86_64-1_slonly.txz


Advertisement

Description

maude - high-performance reflective language

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

Requires

    Download

    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

    • /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
    Advertisement
    Advertisement