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.38
retrieving revision 1.39
diff -u -p -r1.38 -r1.39
--- pkgsrc/lang/coq/Makefile	2012/02/06 12:40:46	1.38
+++ pkgsrc/lang/coq/Makefile	2012/03/03 00:13:25	1.39
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.38 2012/02/06 12:40:46 wiz Exp $
+# $NetBSD: Makefile,v 1.39 2012/03/03 00:13:25 wiz Exp $
 #
 
 DISTNAME=	coq-8.3pl1
-PKGREVISION=	6
+PKGREVISION=	7
 CATEGORIES=	lang math
 MASTER_SITES=	http://coq.inria.fr/distrib/V8.3pl1/files/