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/cvc3/Makefile | |
| 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/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 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/ |