[pkgsrc/trunk]: pkgsrc/lang/coq Bunp PKGREVISION, as it requires rebuild with...

[tonio <tonio%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/94bfd4125aa2
branches:  trunk
changeset: 541883:94bfd4125aa2
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sun Apr 27 10:46:16 2008 +0000

description:
Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08

diffstat:

 lang/coq/Makefile  |  3 ++-
 lang/coq/PLIST.opt |  4 ++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diffs (25 lines):

diff -r c40c4b771e98 -r 94bfd4125aa2 lang/coq/Makefile
--- a/lang/coq/Makefile Sun Apr 27 10:45:12 2008 +0000
+++ b/lang/coq/Makefile Sun Apr 27 10:46:16 2008 +0000
@@ -1,7 +1,8 @@
-# $NetBSD: Makefile,v 1.20 2008/04/12 22:43:02 jlam Exp $
+# $NetBSD: Makefile,v 1.21 2008/04/27 10:46:16 tonio Exp $
 #
 
 DISTNAME=      coq-8.1pl3
+PKGREVISION=   1
 CATEGORIES=    lang math
 MASTER_SITES=  ftp://ftp.inria.fr/INRIA/coq/V8.1pl3/
 
diff -r c40c4b771e98 -r 94bfd4125aa2 lang/coq/PLIST.opt
--- a/lang/coq/PLIST.opt        Sun Apr 27 10:45:12 2008 +0000
+++ b/lang/coq/PLIST.opt        Sun Apr 27 10:46:16 2008 +0000
@@ -1,6 +1,6 @@
-@comment $NetBSD: PLIST.opt,v 1.4 2007/01/17 11:14:46 tonio Exp $
+@comment $NetBSD: PLIST.opt,v 1.5 2008/04/27 10:46:16 tonio Exp $
 bin/coq-interface.opt
-${WITH_IDE}bin/coqide.opt
+${PLIST.coqide}bin/coqide.opt
 bin/coqtop.opt
 bin/parser.opt
 man/man1/coqtop.opt.1