diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-07-22 18:05:23 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-07-22 18:05:56 +0000 |
| commit | c756633b053257ceea92bcd64af14cec7c32a322 (patch) | |
| tree | 2c91743d17b4c5f9f165f82419cabc75790cb969 | |
| parent | e4da2a2fcba9e26e058494833063a03dbae2b40a (diff) | |
| download | ports-c756633b053257ceea92bcd64af14cec7c32a322.tar.gz ports-c756633b053257ceea92bcd64af14cec7c32a322.zip | |
math/eprover: Take maintainership
| -rw-r--r-- | math/eprover/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |