From a0e65e649614f89aa55617023143b5afa9a6156b Mon Sep 17 00:00:00 2001
From: kristerw <kristerw@pkgsrc.org>
Date: Wed, 31 Dec 2003 01:20:35 +0000
Subject: 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.
---
 lang/maude/distinfo | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'lang/maude/distinfo')

diff --git a/lang/maude/distinfo b/lang/maude/distinfo
index 0c40f59f3da..5e994273a16 100644
--- a/lang/maude/distinfo
+++ b/lang/maude/distinfo
@@ -1,4 +1,6 @@
-$NetBSD: distinfo,v 1.2 2001/04/19 15:00:53 agc Exp $
+$NetBSD: distinfo,v 1.3 2003/12/31 01:20:35 kristerw Exp $
 
-SHA1 (maude-linux.tar.Z) = 141ac96fb7f2b99e4a24ffd3f63565a7c3cff59a
-Size (maude-linux.tar.Z) = 772565 bytes
+SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd
+Size (maude-src.tar.gz) = 1030863 bytes
+SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5
+Size (fm.maude) = 511212 bytes
-- 
cgit v1.2.3