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


Advertisement

Description

maude - High-level Specification Language

Distribution: Arch Linux
Repository: Arch Linux Community x86_64
Package name: maude
Package version: 2.7.1
Package release: 1
Package architecture: x86_64
Package type: xz
Installed size: 3.35 MB
Download size: 952.88 KB
Official Mirror: ftp5.gwdg.de
High-level Specification Language. Packager: Felix Yan <felixonmars@archlinux.org>. License: GPL

Alternatives

    Download

    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

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