diff options
Diffstat (limited to 'lang/maude/distinfo')
-rw-r--r-- | lang/maude/distinfo | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lang/maude/distinfo b/lang/maude/distinfo index 5e994273a16..a4d0767d4ba 100644 --- a/lang/maude/distinfo +++ b/lang/maude/distinfo @@ -1,6 +1,8 @@ -$NetBSD: distinfo,v 1.3 2003/12/31 01:20:35 kristerw Exp $ +$NetBSD: distinfo,v 1.4 2005/02/24 09:03:09 agc Exp $ SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd +RMD160 (maude-src.tar.gz) = 1c622d07b048c6435a2609fa2ef4e795c01385b3 Size (maude-src.tar.gz) = 1030863 bytes SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5 +RMD160 (fm.maude) = 1ca2ca8edf6a6f09ce71334c4a8afe5ada572914 Size (fm.maude) = 511212 bytes |