Subject: CVS commit: pkgsrc/lang/maude
From: Krister Walfridsson
Date: 2003-12-31 02:20:35
Message id: 20031231012035.41E5E2DA1D@cvs.netbsd.org
Log Message:
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.
Files:
RevisionActionfile
1.2modifypkgsrc/lang/maude/MESSAGE
1.9modifypkgsrc/lang/maude/Makefile
1.2modifypkgsrc/lang/maude/PLIST
1.3modifypkgsrc/lang/maude/distinfo