$NetBSD: distinfo,v 1.26 2016/12/30 13:23:06 jaapb Exp $

SHA1 (coq-8.6.tar.gz) = 617a6f86d09dde0e409f3fa22268daf7be3f5bba
RMD160 (coq-8.6.tar.gz) = 3d5e539c40732620e65f28988b118d2e0d663aa5
SHA512 (coq-8.6.tar.gz) = 9f5f4913fda8cf83683fec9398b42d4567207c3d4b52b4638d5e09a24ed25a43905fb57a9fac1bb9f9d681bd47f3560e1da74e79348b3a3fd93e2e8c686cebae
Size (coq-8.6.tar.gz) = 5538848 bytes
SHA1 (patch-Makefile.common) = 79b02edff66ddcfb267816b0031c724620e67a13
SHA1 (patch-configure.ml) = 8e48a65709234281e3898ebae9041dfc04c7fe7b