$NetBSD: distinfo,v 1.35 2020/01/24 15:54:48 jaapb Exp $

SHA1 (coq-8.10.2.tar.gz) = ecdb79a8b4cd76912b39e037ef52545406e63799
RMD160 (coq-8.10.2.tar.gz) = a3686508b97a98b668c91a513e73f88dff02af89
SHA512 (coq-8.10.2.tar.gz) = 80df91b64efc9907480388ec479362ee21067c64436da720989d6d1645ffc2f2230ae5c13069c55842da3baa7facbd143c2190d1d64d8c87935802000a02156f
Size (coq-8.10.2.tar.gz) = 6222940 bytes
SHA1 (patch-Makefile.common) = 85bcb271103f87f1e1573d3856740319ee0344cd