$NetBSD: distinfo,v 1.5 2006/01/27 19:22:58 tonio Exp $

SHA1 (coq-8.0pl3.tar.gz) = b182f25b8e6591139281f7078d049aaa7f0408d8
RMD160 (coq-8.0pl3.tar.gz) = 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7
Size (coq-8.0pl3.tar.gz) = 2309002 bytes
SHA1 (patch-aa) = 2ef8be34bd9c77229ef9a2a6e5d04891d7e159da