diff options
Diffstat (limited to 'devel/gnatcoll/Makefile')
| -rw-r--r-- | devel/gnatcoll/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/gnatcoll/Makefile b/devel/gnatcoll/Makefile index 24497db..ac19c58 100644 --- a/devel/gnatcoll/Makefile +++ b/devel/gnatcoll/Makefile @@ -3,6 +3,7 @@ PORTNAME= gnatcoll PORTVERSION= 2016 # branch: gpl-for-gps-2016 +PORTREVISION= 1 CATEGORIES= devel MAINTAINER= ports@FreeBSD.org |
