Daemon Power

The NetBSD Packages Collection: lang/maude

Brief description of the package:
System for equational and rewriting logic specification/programming

Please read the file "DESCR" for a longer description, or browse the package's history.

This package has a home page at http://maude.cs.uiuc.edu/.

The package is located in the "lang/maude" directory. The current source version of the package is "maude-2.3". For a summary on how to use the package collection, go to the top of the packages tree.

Problem reports, updates or suggestions for this package should be reported with send-pr.

The following security vulnerabilities are known for lang/maude :

If you have a vulnerable package installed on any machine, you are advised to remove the package immediately, using the standard package tools. The audit-packages command (now integrated with the pkg_install tools) locates any installed package which has been mentioned in security advisories as being vulnerable.

This package requires the following package(s) to build: buddy>=2.4 libtool-base>=1.5.18nb5 gmp>=4.2.1 autoconf>=2.50 m4>=1.4 perl>=5.0 libtecla>=1.5.0 gmake>=3.81 libtecla>=1.6.1nb1 bison>=1.0 .

This package requires the following package(s) to run: buddy>=2.4 gmp>=4.2.1 libtecla>=1.5.0 libtecla>=1.6.1nb1 .

Select one of the links below to download the package in precompiled binary form for installation with pkg_add(1). Available machine architectures and package versions:
alpha:maude-2.3.tgz(NetBSD 4.0)
alpha:maude-2.3.tgz(NetBSD 4.0)
alpha:maude-2.3.tgz(NetBSD 5.0)
alpha:maude-2.3.tgz(NetBSD 5.0_RC2)
alpha:maude-2.3.tgz(NetBSD 5.0)
arm:maude-2.3.tgz(NetBSD 4.0)
arm:maude-2.3.tgz(NetBSD 4.0)
arm:maude-2.3.tgz(NetBSD 4.0)
arm:maude-2.3.tgz(NetBSD 5.0_BETA)
arm:maude-2.3.tgz(NetBSD 5.0_BETA)
i386:maude-2.3.tgz(NetBSD 4.0.1)
i386:maude-2.3.tgz(NetBSD 4.0.1)
i386:maude-2.3.tgz(NetBSD 5.0.1)
i386:maude-2.3.tgz(NetBSD 5.0.1)
mipseb:maude-2.1.1nb1.tgz(IRIX 6.5)
mipseb:maude-2.3.tgz(NetBSD 4.0_STABLE)
mipseb:maude-2.3.tgz(NetBSD 4.0_STABLE)
mipseb:maude-2.3.tgz(NetBSD 4.0_STABLE)
mipseb:maude-2.3.tgz(NetBSD 5.0_RC2)
mipseb:maude-2.3.tgz(NetBSD 5.0)
mipsel:maude-2.3.tgz(NetBSD 4.0_STABLE)
mipsel:maude-2.3.tgz(NetBSD 5.0)
powerpc:maude-2.3.tgz(NetBSD 4.0)
powerpc:maude-2.3.tgz(NetBSD 4.0)
powerpc:maude-2.3.tgz(NetBSD 5.0)
powerpc:maude-2.3.tgz(NetBSD 5.0)
sh3el:maude-2.3.tgz(NetBSD 5.0)
sparc64:maude-2.3.tgz(NetBSD 4.0.1)
sparc64:maude-2.3.tgz(NetBSD 4.0.1)
sparc64:maude-2.3.tgz(NetBSD 4.0.1)
sparc64:maude-2.3.tgz(NetBSD 5.0)
sparc64:maude-2.3.tgz(NetBSD 5.0_RC4)
sparc64:maude-2.3.tgz(NetBSD 5.0)
sparc:maude-2.3.tgz(NetBSD 4.0)
sparc:maude-2.3.tgz(NetBSD 4.0)
sparc:maude-2.3.tgz(NetBSD 5.0)
sparc:maude-2.3.tgz(NetBSD 5.0)
x86_64:maude-2.3.tgz(NetBSD 4.0.1)
x86_64:maude-2.3.tgz(NetBSD 4.0.1)
x86_64:maude-2.3.tgz(NetBSD 5.0.1)
x86_64:maude-2.3.tgz(NetBSD 5.0.1)

The NetBSD packages collection is designed to permit easy installation from source - particularly useful if the latest binary package is not available for your chosen platform.

[ Go up one level | Go to top of packages tree | List all packages ]