diff options
| author | lwhsu <lwhsu@FreeBSD.org> | 2007-04-04 16:49:31 +0800 |
|---|---|---|
| committer | lwhsu <lwhsu@FreeBSD.org> | 2007-04-04 16:49:31 +0800 |
| commit | 4ce63c26576e38791458268c1c989bfc8669a6d9 (patch) | |
| tree | 88967c52df449bcb10f2c9098459ec68904ee8a9 /math/cvc3 | |
| parent | 9cf5b198b7f46367f475f1372c081056853c35cd (diff) | |
| download | freebsd-ports-gnome-4ce63c26576e38791458268c1c989bfc8669a6d9.tar.gz freebsd-ports-gnome-4ce63c26576e38791458268c1c989bfc8669a6d9.tar.zst freebsd-ports-gnome-4ce63c26576e38791458268c1c989bfc8669a6d9.zip | |
- Change to my FreeBSD.org email
Approved by: clsung (mentor)
Diffstat (limited to 'math/cvc3')
| -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 |