pkgsrc/lang/maude/pkg/MESSAGE

===========================================================================
$NetBSD: MESSAGE,v 1.1.1.1 2001/03/20 11:57:41 wiz 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			`===========================================================================`
			$NetBSD: MESSAGE,v 1.1.1.1 2001/03/20 11:57:41 wiz Exp $

			`Kernel option COMPAT_LINUX is required for the package to work.`

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