diff options
| author | lwhsu <lwhsu@FreeBSD.org> | 2007-09-08 06:54:09 +0800 |
|---|---|---|
| committer | lwhsu <lwhsu@FreeBSD.org> | 2007-09-08 06:54:09 +0800 |
| commit | 2cd30a92f5d4321b91a49c10665d2640563798af (patch) | |
| tree | 9fb2b6fd41a40860adbc01e39f3252c1150bcba5 /math | |
| parent | 73e06d144a3efdb5728fe7ef1bf14b1f5fac57c8 (diff) | |
| download | freebsd-ports-gnome-2cd30a92f5d4321b91a49c10665d2640563798af.tar.gz freebsd-ports-gnome-2cd30a92f5d4321b91a49c10665d2640563798af.tar.zst freebsd-ports-gnome-2cd30a92f5d4321b91a49c10665d2640563798af.zip | |
- Update to 1.2.1
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 |