$NetBSD: distinfo,v 1.1.1.1 2003/03/22 20:21:17 kristerw Exp $ SHA1 (coq-7.4.tar.gz) = 82fe0094cde8a766e3ba0a77c731b4ef2345a41b Size (coq-7.4.tar.gz) = 1537547 bytes SHA1 (patch-aa) = ce59dda44ac5f81834f9f60a7f87524c90f6cb6e