diff options
| author | dholland <dholland> | 2015-12-29 06:22:54 +0000 |
|---|---|---|
| committer | dholland <dholland> | 2015-12-29 06:22:54 +0000 |
| commit | 9373ad6030f22bbb6432cb7bb0705647c5558cb5 (patch) | |
| tree | ec11d442f2fa3c3bb39d6efaefaab6db753a1664 /lang/coq/distinfo | |
| parent | a9fdc79b5b178b9b7403eb4c2f25edb2bbad0b1e (diff) | |
| download | pkgsrc-9373ad6030f22bbb6432cb7bb0705647c5558cb5.tar.gz | |
pkglint
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 |