$NetBSD: distinfo,v 1.19 2014/05/13 14:52:28 jaapb Exp $

SHA1 (coq-8.4pl4.tar.gz) = 4dfc3a1ae65f5c480ddc4387d21549a526183e00
RMD160 (coq-8.4pl4.tar.gz) = 19e3fe905f5db09710b1f862f21e9b57c28f9704
Size (coq-8.4pl4.tar.gz) = 4067355 bytes
SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4