Module Name:	pkgsrc
Committed By:	wiz
Date:		Tue Mar 20 11:57:42 UTC 2001

Update of /cvsroot/pkgsrc/lang/maude
In directory netbsd.hut.fi:/tmp/cvs-serv21776

Log Message:
Initial import of maude, a system for equational and rewriting logic
specification/programming.
Package provided by Paolo Torelli in pkg/11280.
Attention: Very restrictive license, to be filled out and returned in
hardcopy before usage.


Vendor Tag:	TNF
Release Tags:	pkgsrc-base
		
N pkgsrc/lang/maude/Makefile
N pkgsrc/lang/maude/files/md5
N pkgsrc/lang/maude/pkg/PLIST
N pkgsrc/lang/maude/pkg/DESCR
N pkgsrc/lang/maude/pkg/MESSAGE

No conflicts created by this import