diff options
| author | wiz <wiz@pkgsrc.org> | 2019-07-21 22:23:57 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2019-07-21 22:23:57 +0000 |
| commit | e3ee9b7f034cedad93963e424ebd1ceade696d30 (patch) | |
| tree | 8dd7df30f0514402be594828784d2414be349d64 /lang/coq | |
| parent | 4100e0dc2dc5dc4845a33db21d4f1661602164c3 (diff) | |
| download | pkgsrc-e3ee9b7f034cedad93963e424ebd1ceade696d30.tar.gz | |
*: recursive bump for gdk-pixbuf2-2.38.1
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 876d62607a4..16faa6f13f6 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.123 2019/07/20 22:46:27 wiz Exp $ +# $NetBSD: Makefile,v 1.124 2019/07/21 22:25:14 wiz Exp $ # DISTNAME= coq-8.9.1 -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} |