CVS commit: pkgsrc/lang/coq

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Tue Feb  9 22:38:30 UTC 2021

Modified Files:
        pkgsrc/lang/coq: Makefile

Log Message:
take MAINTAINER, ok jaapb@


To generate a diff of this commit:
cvs rdiff -u -r1.137 -r1.138 pkgsrc/lang/coq/Makefile

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

Modified files:

Index: pkgsrc/lang/coq/Makefile
diff -u pkgsrc/lang/coq/Makefile:1.137 pkgsrc/lang/coq/Makefile:1.138
--- pkgsrc/lang/coq/Makefile:1.137      Tue Feb  9 22:37:43 2021
+++ pkgsrc/lang/coq/Makefile    Tue Feb  9 22:38:30 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.137 2021/02/09 22:37:43 dholland Exp $
+# $NetBSD: Makefile,v 1.138 2021/02/09 22:38:30 dholland Exp $
 #
 
 DISTNAME=      coq-8.12.2
@@ -6,7 +6,7 @@ CATEGORIES=     lang math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=coq/}
 GITHUB_TAG=    V${PKGVERSION_NOREV:S/_/+/}
 
-MAINTAINER=    jaapb%NetBSD.org@localhost
+MAINTAINER=    dholland%NetBSD.org@localhost
 HOMEPAGE=      https://coq.inria.fr/
 COMMENT=       Theorem prover which extracts programs from proofs
 LICENSE=       gnu-lgpl-v2.1