diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2007-09-07 22:54:09 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2007-09-07 22:54:09 +0000 |
| commit | 91f7d86366b5554a46a61d16b87c5f54de060697 (patch) | |
| tree | 6c7b5ed1e020f1d5ef4396c4be0d162308383199 /math | |
| parent | bd4a3af34c8e24f7eb4ddc5f696335b97bba4a2a (diff) | |
| download | ports-91f7d86366b5554a46a61d16b87c5f54de060697.tar.gz ports-91f7d86366b5554a46a61d16b87c5f54de060697.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/cvc3/Makefile | 2 | ||||
| -rw-r--r-- | math/cvc3/distinfo | 6 | ||||
| -rw-r--r-- | math/cvc3/pkg-plist | 3 |
3 files changed, 7 insertions, 4 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index f3f356c33b6f..8f7106993ca1 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -6,7 +6,7 @@ # PORTNAME= cvc3 -PORTVERSION= 1.0 +PORTVERSION= 1.2.1 CATEGORIES= math MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ \ http://www.cs.nctu.edu.tw/~lwhsu/ports/distfiles/ diff --git a/math/cvc3/distinfo b/math/cvc3/distinfo index f537a0307d66..0c6bb4a9779d 100644 --- a/math/cvc3/distinfo +++ b/math/cvc3/distinfo @@ -1,3 +1,3 @@ -MD5 (cvc3-1.0.tar.gz) = afe2e56b3002fd4dda73e68acda2e4a1 -SHA256 (cvc3-1.0.tar.gz) = 9a027f209471303751536133cc4643a3b14b975784e4c56cc47ca3c57ac15d0c -SIZE (cvc3-1.0.tar.gz) = 756035 +MD5 (cvc3-1.2.1.tar.gz) = 65fc95fdb0ed6d1386b5f863d1b76391 +SHA256 (cvc3-1.2.1.tar.gz) = e2100454606c649a2de59dd9fe3300fe3a7ecc4ac03c1d304c8f797aaed34bd9 +SIZE (cvc3-1.2.1.tar.gz) = 827577 diff --git a/math/cvc3/pkg-plist b/math/cvc3/pkg-plist index 460675b1409e..528151be4b7a 100644 --- a/math/cvc3/pkg-plist +++ b/math/cvc3/pkg-plist @@ -44,6 +44,7 @@ include/cvc3/memory_manager_chunks.h include/cvc3/memory_manager_context.h include/cvc3/memory_manager_malloc.h include/cvc3/notifylist.h +include/cvc3/os.h include/cvc3/parser.h include/cvc3/parser_exception.h include/cvc3/pretty_printer.h @@ -65,6 +66,8 @@ include/cvc3/theorem_manager.h include/cvc3/theorem_producer.h include/cvc3/theory.h include/cvc3/theory_arith.h +include/cvc3/theory_arith_new.h +include/cvc3/theory_arith_old.h include/cvc3/theory_array.h include/cvc3/theory_bitvector.h include/cvc3/theory_core.h |