blob: 5f09c916acc1ae373936d26a451714b970985402 (
plain)
1
2
3
4
5
6
7
8
|
$NetBSD: distinfo,v 1.27 2017/09/08 17:19:01 jaapb Exp $
SHA1 (coq-8.6.1.tar.gz) = 5dbaf1230c297d7c11c8715c012300a51ad80f9a
RMD160 (coq-8.6.1.tar.gz) = 822b0061a99de144881b1f1166eef9e92d26de7f
SHA512 (coq-8.6.1.tar.gz) = 814ab76a06ca15f927081428da74add4bc67290199fa011853b9c68a00cdefaf813b10fbac18a434f4504fce8f2173eb544080bf6f50d62caa41bb8724b13083
Size (coq-8.6.1.tar.gz) = 5588811 bytes
SHA1 (patch-Makefile.common) = 79b02edff66ddcfb267816b0031c724620e67a13
SHA1 (patch-configure.ml) = 8e48a65709234281e3898ebae9041dfc04c7fe7b
|
