diff options
Diffstat (limited to 'lang/coq/distinfo')
-rw-r--r-- | lang/coq/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index c596529e845..99b5e10133b 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,7 +1,7 @@ -$NetBSD: distinfo,v 1.22 2015/11/03 22:50:33 agc Exp $ +$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) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4 +SHA1 (patch-Makefile.build) = e4d8b329bc085855b38035c62a63fbb2f3895234 |