$NetBSD: distinfo,v 1.3 2003/12/31 01:20:35 kristerw Exp $

SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd
Size (maude-src.tar.gz) = 1030863 bytes
SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5
Size (fm.maude) = 511212 bytes