diff options
Diffstat (limited to 'devel/gnatcoll/Makefile')
| -rw-r--r-- | devel/gnatcoll/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/gnatcoll/Makefile b/devel/gnatcoll/Makefile index 0783a3e010c1..53edac038818 100644 --- a/devel/gnatcoll/Makefile +++ b/devel/gnatcoll/Makefile @@ -3,7 +3,7 @@ PORTNAME= gnatcoll PORTVERSION= 2014 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= devel MASTER_SITES= http://downloads.dragonlace.net/src/ DISTNAME= ${PORTNAME}-gpl-${PORTVERSION}-src |