diff options
| author | dholland <dholland@pkgsrc.org> | 2015-12-29 06:22:54 +0000 |
|---|---|---|
| committer | dholland <dholland@pkgsrc.org> | 2015-12-29 06:22:54 +0000 |
| commit | 48ff4d299837e24c391b36a49bf064ad5a898cfe (patch) | |
| tree | ec11d442f2fa3c3bb39d6efaefaab6db753a1664 /lang | |
| parent | 19f982ab91e9a4691ff4f95ef79f6347dba98e0e (diff) | |
| download | pkgsrc-48ff4d299837e24c391b36a49bf064ad5a898cfe.tar.gz | |
pkglint
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/coq/distinfo | 4 | ||||
| -rw-r--r-- | lang/coq/patches/patch-Makefile.build | 3 |
2 files changed, 4 insertions, 3 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 diff --git a/lang/coq/patches/patch-Makefile.build b/lang/coq/patches/patch-Makefile.build index 66786e36ef2..98c10995b46 100644 --- a/lang/coq/patches/patch-Makefile.build +++ b/lang/coq/patches/patch-Makefile.build @@ -1,6 +1,7 @@ -$NetBSD: patch-Makefile.build,v 1.1 2012/10/29 11:33:18 jaapb Exp $ +$NetBSD: patch-Makefile.build,v 1.2 2015/12/29 06:22:54 dholland Exp $ Install configuration file in examples directory + --- Makefile.build.orig 2012-08-10 21:53:21.000000000 +0000 +++ Makefile.build @@ -575,7 +575,7 @@ endif |