$NetBSD: distinfo,v 1.21 2015/04/25 13:41:18 jaapb Exp $

SHA1 (coq-8.4pl6.tar.gz) = c89525295659a805661ef91da24ecfb94e226953
RMD160 (coq-8.4pl6.tar.gz) = f57f6e5732d3977f3346dda2749f4b9628604018
Size (coq-8.4pl6.tar.gz) = 4099815 bytes
SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4