diff options
| author | wiz <wiz@pkgsrc.org> | 2017-02-06 13:54:36 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2017-02-06 13:54:36 +0000 |
| commit | 3c1606cff5909c864cffbb098f41ac6570e7a581 (patch) | |
| tree | 5fa2d044b97d1bb90c9f7d4006ad854e49ded729 /lang/coq | |
| parent | 3d2f2d359a4af120b78cc2ab3492b98f732931d2 (diff) | |
| download | pkgsrc-3c1606cff5909c864cffbb098f41ac6570e7a581.tar.gz | |
Recursive bump for harfbuzz's new graphite2 dependency.
Diffstat (limited to 'lang/coq')
| -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/ |