Date: Sun, 23 Nov 2025 04:24:46 +0000 From: Mark Linimon <linimon@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 48fcf99acb4b - main - math/coq: reset maintainer Message-ID: <69228c8e.3bc3e.107868a6@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by linimon: URL: https://cgit.FreeBSD.org/ports/commit/?id=48fcf99acb4bf9082e4e189750de10dbda60cac2 commit 48fcf99acb4bf9082e4e189750de10dbda60cac2 Author: Mark Linimon <linimon@FreeBSD.org> AuthorDate: 2025-11-23 04:23:56 +0000 Commit: Mark Linimon <linimon@FreeBSD.org> CommitDate: 2025-11-23 04:23:56 +0000 math/coq: reset maintainer Reset maintainer due to timeout (https://bugs.freebsd.org/283111). Hat: bugmeister --- math/coq/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/math/coq/Makefile b/math/coq/Makefile index 2e9d5c12c76e..8ea7c773edbb 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -7,7 +7,7 @@ DISTVERSIONPREFIX= V #DISTVERSIONSUFFIX= .0 PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} -MAINTAINER= hrs@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Theorem prover based on lambda-C WWW= https://coq.inria.fr/home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?69228c8e.3bc3e.107868a6>