diff options
| author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2014-07-07 15:31:01 +0000 |
|---|---|---|
| committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2014-07-07 15:31:01 +0000 |
| commit | 168f57451a4fab6b0efeeeaf6be426c8e4616366 (patch) | |
| tree | dcccdab9003ee92315e6f86a05d3e87efdb061b3 /math/cvc3/Makefile | |
| parent | b6c08b0df5503be01627016cd107b835b91a8c8d (diff) | |
| download | ports-168f57451a4fab6b0efeeeaf6be426c8e4616366.tar.gz ports-168f57451a4fab6b0efeeeaf6be426c8e4616366.zip | |
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 87335a9c3da6..2a4c08581394 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -7,7 +7,7 @@ CATEGORIES= math MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ MAINTAINER= lwhsu@FreeBSD.org -COMMENT= An automatic theorem prover for the SMT problem +COMMENT= Automatic theorem prover for the SMT problem LIB_DEPENDS= gmp:${PORTSDIR}/math/gmp |