diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2007-04-04 08:49:31 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2007-04-04 08:49:31 +0000 |
| commit | 69dd27cc3cd44a30bdf8df1169fbd4684d4c967a (patch) | |
| tree | 6d0825204490f8766f2283672d81cb55c62243fc /math/cvc3/Makefile | |
| parent | b0438bf96e239ebf5b0e3836216aaf03fec04f4b (diff) | |
Notes
Diffstat (limited to 'math/cvc3/Makefile')
| -rw-r--r-- | math/cvc3/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |