$NetBSD: distinfo,v 1.5 2005/10/14 19:54:39 tonio Exp $

SHA1 (Maude-2.1.1.tar.gz) = 6433ab534970c65bfdde3ea67d1067ad1c7bd9e3
RMD160 (Maude-2.1.1.tar.gz) = 22793ee2c339a86e44e49dee56943c8b1099ee0b
Size (Maude-2.1.1.tar.gz) = 1174764 bytes