diff options
Diffstat (limited to 'misc/vera')
| -rw-r--r-- | misc/vera/Makefile | 3 | ||||
| -rw-r--r-- | misc/vera/distinfo | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/misc/vera/Makefile b/misc/vera/Makefile index 6436f8129ca1..f1b8a42c06f4 100644 --- a/misc/vera/Makefile +++ b/misc/vera/Makefile @@ -6,7 +6,7 @@ # PORTNAME= vera -PORTVERSION= 1.9 +PORTVERSION= 1.17 CATEGORIES= misc MASTER_SITES= ${MASTER_SITE_GNU} MASTER_SITE_SUBDIR= vera @@ -15,6 +15,7 @@ MAINTAINER= demon@FreeBSD.org COMMENT= Virtual Entity of Relevant Acronyms INFO= vera +LICENSE= GFDL do-build: @ cd ${WRKSRC} && makeinfo --no-split vera.texi diff --git a/misc/vera/distinfo b/misc/vera/distinfo index 8a90b43bd6c7..f534b3b4f383 100644 --- a/misc/vera/distinfo +++ b/misc/vera/distinfo @@ -1,2 +1,2 @@ -SHA256 (vera-1.9.tar.gz) = 47007a659d2b1a7dacaa05db49bd3bb416ff92e0e68b94f664c8943bc196a6dc -SIZE (vera-1.9.tar.gz) = 173503 +SHA256 (vera-1.17.tar.gz) = 42b65184602865dd91b68582a3fef33b7d4fea9c516e3452b25bc2ca62caa2d7 +SIZE (vera-1.17.tar.gz) = 208553 |