diff options
| author | dholland <dholland@pkgsrc.org> | 2021-02-09 22:38:30 +0000 |
|---|---|---|
| committer | dholland <dholland@pkgsrc.org> | 2021-02-09 22:38:30 +0000 |
| commit | d26270703012d25358878f495afed955c120aa1d (patch) | |
| tree | c59794e9cd43314e17577682dc47413376cc25e6 /lang/coq/Makefile | |
| parent | d7771ffab96dbdd8a79418e68b64935a935babc3 (diff) | |
| download | pkgsrc-d26270703012d25358878f495afed955c120aa1d.tar.gz | |
take MAINTAINER, ok jaapb@
Diffstat (limited to 'lang/coq/Makefile')
| -rw-r--r-- | lang/coq/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 01e9b9ba330..e5432fd0fd0 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -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 +MAINTAINER= dholland@NetBSD.org HOMEPAGE= https://coq.inria.fr/ COMMENT= Theorem prover which extracts programs from proofs LICENSE= gnu-lgpl-v2.1 |