diff options
Diffstat (limited to 'devel/gecode/Makefile')
| -rw-r--r-- | devel/gecode/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/gecode/Makefile b/devel/gecode/Makefile index 560d472b6f4e..838b32e7ace1 100644 --- a/devel/gecode/Makefile +++ b/devel/gecode/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= gecode -PORTVERSION= 4.3.0 +PORTVERSION= 4.3.2 CATEGORIES= devel MASTER_SITES= http://www.gecode.org/download/ |