pkgsrc/lang/maude/MESSAGE

===========================================================================
$NetBSD: MESSAGE,v 1.1 2001/11/01 00:24:05 zuntum Exp $

Kernel option COMPAT_LINUX is required for the package to work.

===========================================================================
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. 2001-03-20 12:57:41 +01:00			`===========================================================================`
Move pkg/ files into package's toplevel directory 2001-11-01 01:20:13 +01:00			$NetBSD: MESSAGE,v 1.1 2001/11/01 00:24:05 zuntum Exp $
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. 2001-03-20 12:57:41 +01:00
			`Kernel option COMPAT_LINUX is required for the package to work.`

			`===========================================================================`