diff options
author | kristerw <kristerw@pkgsrc.org> | 2003-12-31 01:20:35 +0000 |
---|---|---|
committer | kristerw <kristerw@pkgsrc.org> | 2003-12-31 01:20:35 +0000 |
commit | a0e65e649614f89aa55617023143b5afa9a6156b (patch) | |
tree | ec506f65f4c0ac58827364670a05a126f410ee2c /lang/maude/distinfo | |
parent | 35c8abbdb40e11d573e1f2df76e49f7fbf684071 (diff) | |
download | pkgsrc-a0e65e649614f89aa55617023143b5afa9a6156b.tar.gz |
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.
Diffstat (limited to 'lang/maude/distinfo')
-rw-r--r-- | lang/maude/distinfo | 8 |
1 files changed, 5 insertions, 3 deletions
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 |