$NetBSD: distinfo,v 1.23 2015/12/29 06:22:54 dholland Exp $

SHA1 (coq-8.4pl6.tar.gz) = c89525295659a805661ef91da24ecfb94e226953
RMD160 (coq-8.4pl6.tar.gz) = f57f6e5732d3977f3346dda2749f4b9628604018
SHA512 (coq-8.4pl6.tar.gz) = 238bc6e28348f40f5619aa28d2e871179d9edeb6eb3f2521af6f407e24a889c8c68fa11c8b12e026f016f0fb7d5006447c3ab7eeae0804fc082d65774aefe0ef
Size (coq-8.4pl6.tar.gz) = 4099815 bytes
SHA1 (patch-Makefile.build) = e4d8b329bc085855b38035c62a63fbb2f3895234