>Number:         11280
>Category:       pkg
>Synopsis:       Submit of maude-1.0.5 package
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    pkg-manager
>State:          open
>Class:          support
>Submitter-Id:   net
>Arrival-Date:   Fri Oct 20 08:06:00 PDT 2000
>Closed-Date:
>Last-Modified:
>Originator:     Paolo Torelli
>Release:        1.4.2, 1.5Alpha2
>Organization:
>Environment:
>Description:
Maude 1.0.5
Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.
This is a package to install the linux port under NetBSD-*-i386
the tar file can be fetched at http://arena.sci.univr.it/~torellip/maude-1.0.5.tgz
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: