Subject: CVS commit: pkgsrc
To: None <>
From: Thomas Klausner <>
List: pkgsrc-changes
Date: 03/20/2001 13:57:43
Module Name:	pkgsrc
Committed By:	wiz
Date:		Tue Mar 20 11:57:42 UTC 2001

Update of /cvsroot/pkgsrc/lang/maude
In directory

Log Message:
Initial import of maude, a system for equational and rewriting logic
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