diff options
| author | wiz <wiz@pkgsrc.org> | 2018-04-16 14:33:44 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2018-04-16 14:33:44 +0000 |
| commit | 024eefe13d09d8dc310bfcc056863f616c42aafb (patch) | |
| tree | a02ccafda3c2ba9b1226f0e8ff81be454a1b13cf /lang/coq | |
| parent | 3e17e1ae4db9ea002a6c69c434f592f8d408e8ed (diff) | |
| download | pkgsrc-024eefe13d09d8dc310bfcc056863f616c42aafb.tar.gz | |
Recursive bump for new fribidi dependency in pango.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 08ad9eb4050..951176b5ad2 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.108 2018/04/14 07:34:28 adam Exp $ +# $NetBSD: Makefile,v 1.109 2018/04/16 14:34:47 wiz Exp $ # DISTNAME= coq-8.7.2 -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV} |