$NetBSD: distinfo,v 1.15 2013/01/22 15:32:03 jaapb Exp $

SHA1 (coq-8.4pl1.tar.gz) = 23d403dbe9e410a99c584d0210dc527950051679
RMD160 (coq-8.4pl1.tar.gz) = fa472852de474ed5b83ddd4bd5a303f32b5dba94
Size (coq-8.4pl1.tar.gz) = 4139808 bytes
SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4