Subject: PR/31753 CVS commit: pkgsrc/lang/maude
To: None <,,>
From: Antoine Reilles <>
List: pkgsrc-bugs
Date: 10/14/2005 20:51:07
The following reply was made to PR pkg/31753; it has been noted by GNATS.

From: Antoine Reilles <>
Subject: PR/31753 CVS commit: pkgsrc/lang/maude
Date: Fri, 14 Oct 2005 19:54:39 +0000 (UTC)

 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.