diff options
| author | Rene Ladan <rene@FreeBSD.org> | 2016-06-27 21:30:34 +0000 |
|---|---|---|
| committer | Rene Ladan <rene@FreeBSD.org> | 2016-06-27 21:30:34 +0000 |
| commit | a01b22a05259e8b8b76cfadccd22f4df4309c55e (patch) | |
| tree | c41943c00a390851e85561a8bb285cbf37b82724 /math/alt-ergo | |
| parent | - Change USES=python:3,build to USES=python:build will silence pkg-fallout (diff) | |
Reset ports maintained by bf@ until he has time again to work on them.
PR: 210474
Submitted by: jbeich
With hat: portmgr-secretary
Notes
Notes:
svn path=/head/; revision=417685
Diffstat (limited to 'math/alt-ergo')
| -rw-r--r-- | math/alt-ergo/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index 42d1afc88cc6..644f317e8265 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -7,7 +7,7 @@ PORTREVISION= 2 CATEGORIES= math MASTER_SITES= http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/ -MAINTAINER= bf@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Automatic solver of mathematical formulas for program verification LICENSE= CeCILL-C |