From 69dd27cc3cd44a30bdf8df1169fbd4684d4c967a Mon Sep 17 00:00:00 2001 From: Li-Wen Hsu Date: Wed, 4 Apr 2007 08:49:31 +0000 Subject: - Change to my FreeBSD.org email Approved by: clsung (mentor) --- math/cvc3/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'math/cvc3/Makefile') diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 3428e2113e44..f3f356c33b6f 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -11,7 +11,7 @@ CATEGORIES= math MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ \ http://www.cs.nctu.edu.tw/~lwhsu/ports/distfiles/ -MAINTAINER= lwhsu@lwhsu.org +MAINTAINER= lwhsu@FreeBSD.org COMMENT= An automatic theorem prover for the SMT problem LIB_DEPENDS= gmp:${PORTSDIR}/math/libgmp4 -- cgit v1.2.3