diff options
Diffstat (limited to 'lang/gnat12/Makefile')
| -rw-r--r-- | lang/gnat12/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/gnat12/Makefile b/lang/gnat12/Makefile index dda0d34820b4..51ca10eba7df 100644 --- a/lang/gnat12/Makefile +++ b/lang/gnat12/Makefile @@ -1,6 +1,6 @@ PORTNAME= gnat12 PORTVERSION= 12.2.0 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= lang MASTER_SITES= ${MASTER_SITE_GCC}:gcc \ LOCAL/thierry:gnat |