git: c756633b0532 - main - math/eprover: Take maintainership

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sat, 22 Jul 2023 18:05:59 UTC

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=c756633b053257ceea92bcd64af14cec7c32a322

commit c756633b053257ceea92bcd64af14cec7c32a322
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-07-22 18:05:23 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-07-22 18:05:56 +0000

    math/eprover: Take maintainership
---
 math/eprover/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/math/eprover/Makefile b/math/eprover/Makefile
index bba0a5a32719..ef857bd81056 100644
--- a/math/eprover/Makefile
+++ b/math/eprover/Makefile
@@ -4,7 +4,7 @@ DISTVERSION=	2.0
 PORTREVISION=	1
 CATEGORIES=	math
 
-MAINTAINER=	ports@FreeBSD.org
+MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Theorem prover for full first-order logic with equality
 WWW=		https://www.eprover.org