4 files changed, 8 insertions, 7 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile
index 6c4335cc3cc..876d62607a4 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,7 +1,8 @@
-# $NetBSD: Makefile,v 1.122 2019/05/23 10:55:07 jaapb Exp $
+# $NetBSD: Makefile,v 1.123 2019/07/20 22:46:27 wiz Exp $
 #
 
 DISTNAME=	coq-8.9.1
+PKGREVISION=	1
 CATEGORIES=	lang math
 MASTER_SITES=	${MASTER_SITE_GITHUB:=coq/}
 GITHUB_TAG=	V${PKGVERSION_NOREV:S/_/+/}
diff --git a/lang/konoha/Makefile b/lang/konoha/Makefile
index f82f43d50e4..bef4f4c7621 100644
--- a/lang/konoha/Makefile
+++ b/lang/konoha/Makefile
@@ -1,9 +1,9 @@
-# $NetBSD: Makefile,v 1.35 2019/07/01 04:08:27 ryoon Exp $
+# $NetBSD: Makefile,v 1.36 2019/07/20 22:46:27 wiz Exp $
 #
 
 DISTNAME=	konoha-1.0.0-952
 PKGNAME=	konoha-1.0.0.952
-PKGREVISION=	31
+PKGREVISION=	32
 CATEGORIES=	lang
 MASTER_SITES=	http://konoha.googlecode.com/files/
 
diff --git a/lang/openjdk7/Makefile b/lang/openjdk7/Makefile
index 90a7c596714..4b6d9681de4 100644
--- a/lang/openjdk7/Makefile
+++ b/lang/openjdk7/Makefile
@@ -1,9 +1,9 @@
-# $NetBSD: Makefile,v 1.134 2019/05/23 19:23:03 rillig Exp $
+# $NetBSD: Makefile,v 1.135 2019/07/20 22:46:27 wiz Exp $
 
 JDK_MICRO=	141
 DISTNAME=	openjdk-1.7.${JDK_MICRO}-20170813
 PKGNAME=	openjdk7-1.7.${JDK_MICRO}
-PKGREVISION=	10
+PKGREVISION=	11
 CATEGORIES=	lang
 MASTER_SITES=	${MASTER_SITE_LOCAL:=openjdk7/}
 EXTRACT_SUFX=	.tar.xz
diff --git a/lang/openjdk8/Makefile b/lang/openjdk8/Makefile
index 759c53dac34..32fcd156c64 100644
--- a/lang/openjdk8/Makefile
+++ b/lang/openjdk8/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.78 2019/05/23 19:23:03 rillig Exp $
+# $NetBSD: Makefile,v 1.79 2019/07/20 22:46:27 wiz Exp $
 
 DISTNAME=	openjdk-1.8.202-20190219
 PKGNAME=	openjdk8-1.8.202
-PKGREVISION=	1
+PKGREVISION=	2
 CATEGORIES=	lang
 MASTER_SITES=	${MASTER_SITE_LOCAL:=openjdk7/}
 EXTRACT_SUFX=	.tar.xz