Subject: pkg/11280: Submit of maude-1.0.5 package
To: None <>
From: None <>
List: netbsd-bugs
Date: 10/20/2000 08:06:08
>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
>Originator:     Paolo Torelli
>Release:        1.4.2, 1.5Alpha2
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