diff options
Diffstat (limited to 'math/eprover/Makefile')
-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 |