diff options
| author | adam <adam@pkgsrc.org> | 2018-04-14 07:33:52 +0000 |
|---|---|---|
| committer | adam <adam@pkgsrc.org> | 2018-04-14 07:33:52 +0000 |
| commit | ea30ec0e631d5d359fe445706fbb709b78037512 (patch) | |
| tree | 3572685fdb407218236f32528f4d6a0afed5dfe9 /lang/coq | |
| parent | be4f22b8f6ea4b1f1efc58395523cd8bfaffa4f1 (diff) | |
| download | pkgsrc-ea30ec0e631d5d359fe445706fbb709b78037512.tar.gz | |
revbump after icu update
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 2f77ce0d9bd..08ad9eb4050 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.107 2018/04/09 11:29:23 jaapb Exp $ +# $NetBSD: Makefile,v 1.108 2018/04/14 07:34:28 adam Exp $ # DISTNAME= coq-8.7.2 +PKGREVISION= 1 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV} |