$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