Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

===================================================================
RCS file: /ftp/cvs/cvsroot/pkgsrc/lang/coq/Makefile,v
rcsdiff: /ftp/cvs/cvsroot/pkgsrc/lang/coq/Makefile,v: warning: Unknown phrases like `commitid ...;' are present.
retrieving revision 1.85
retrieving revision 1.86
diff -u -p -r1.85 -r1.86
--- pkgsrc/lang/coq/Makefile	2016/02/06 16:08:36	1.85
+++ pkgsrc/lang/coq/Makefile	2016/03/05 11:28:43	1.86
@@ -1,7 +1,8 @@
-# $NetBSD: Makefile,v 1.85 2016/02/06 16:08:36 jaapb Exp $
+# $NetBSD: Makefile,v 1.86 2016/03/05 11:28:43 jperkin Exp $
 #
 
 DISTNAME=	coq-8.5
+PKGREVISION=	1
 CATEGORIES=	lang math
 MASTER_SITES=	http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/