$NetBSD: distinfo,v 1.32 2019/03/06 09:28:23 jaapb Exp $

SHA1 (coq-8.9.0.tar.gz) = 8833deafd57649f875f15c0739c8ac1ffe06aeda
RMD160 (coq-8.9.0.tar.gz) = b587d945a5eb0366c7a7b280f1ff08940c800a60
SHA512 (coq-8.9.0.tar.gz) = 42b2e0ae669c06803b6b527a194d78675de18869f6342fc8afc49cfc94f3e98ca0c3b4fd52d3af8c5ce66c6efb1c665ac0d65e992ad29c3f432e244f98ec2ca1
Size (coq-8.9.0.tar.gz) = 5992210 bytes
SHA1 (patch-Makefile.common) = f232485fddc61c51cd12ac5567b706f5f2299328
