diff options
| author | wiz <wiz> | 2017-02-06 13:54:36 +0000 |
|---|---|---|
| committer | wiz <wiz> | 2017-02-06 13:54:36 +0000 |
| commit | 5fd07257b8ea1982d842099d4caab051ea608eac (patch) | |
| tree | 13f72a1dcbae87ad3d7b1e8c68779be6af8a04f9 /lang/coq/Makefile | |
| parent | 94ea897b7dc30a4633af99c13aab329a96f83f23 (diff) | |
| download | pkgsrc-5fd07257b8ea1982d842099d4caab051ea608eac.tar.gz | |
Recursive bump for harfbuzz's new graphite2 dependency.
Diffstat (limited to 'lang/coq/Makefile')
| -rw-r--r-- | lang/coq/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index b3bd2d727c6..15eb8fe7529 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.94 2017/01/12 09:11:27 jaapb Exp $ +# $NetBSD: Makefile,v 1.95 2017/02/06 13:55:36 wiz Exp $ # DISTNAME= coq-8.6 +PKGREVISION= 1 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ |