Module Name:	pkgsrc
Committed By:	tonio
Date:		Fri Oct 14 19:54:39 UTC 2005

Modified Files:
	pkgsrc/lang/maude: Makefile PLIST distinfo

Log Message:
Update lang/maude to 2.1.1

Let the package use the TOOLS facilities for flex and bison
Changes in this version includes a few bugfixes, support for syntax for
theories, and parser improvement
Update fixes PR 31753


To generate a diff of this commit:
cvs rdiff -r1.14 -r1.15 pkgsrc/lang/maude/Makefile
cvs rdiff -r1.2 -r1.3 pkgsrc/lang/maude/PLIST
cvs rdiff -r1.4 -r1.5 pkgsrc/lang/maude/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.