pkgsrc/lang/maude/PLIST

@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw Exp $
bin/maude
share/maude/fm.maude
share/maude/model-checker.maude
share/maude/prelude.maude
@dirrm share/maude
Update lang/maude to version 2.0.1. Maude 2 extends and generalizes Maude 1 to allow more expressive modules and a wider range of computational commands. The license has been changed to the GNU General Public License. 2003-12-31 02:20:35 +01:00			`@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw 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			`bin/maude`
Update lang/maude to version 2.0.1. Maude 2 extends and generalizes Maude 1 to allow more expressive modules and a wider range of computational commands. The license has been changed to the GNU General Public License. 2003-12-31 02:20:35 +01:00			`share/maude/fm.maude`
			`share/maude/model-checker.maude`
			`share/maude/prelude.maude`
			`@dirrm share/maude`