diff options
author | Dmitry Sivachenko <demon@FreeBSD.org> | 2001-03-16 09:15:03 +0000 |
---|---|---|
committer | Dmitry Sivachenko <demon@FreeBSD.org> | 2001-03-16 09:15:03 +0000 |
commit | fa3504996ed066394bb073f910041eb435da604a (patch) | |
tree | 015439711c0ad72647cd27894b91dce200285bf7 /misc/vera | |
parent | f8eeebacaa1df7c7e243d4e5f77eacfdb9f42711 (diff) | |
download | ports-fa3504996ed066394bb073f910041eb435da604a.tar.gz ports-fa3504996ed066394bb073f910041eb435da604a.zip |
Notes
Diffstat (limited to 'misc/vera')
-rw-r--r-- | misc/vera/Makefile | 2 | ||||
-rw-r--r-- | misc/vera/distinfo | 2 | ||||
-rw-r--r-- | misc/vera/files/patch-aa | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/misc/vera/Makefile b/misc/vera/Makefile index 91699193b620..72a267c12269 100644 --- a/misc/vera/Makefile +++ b/misc/vera/Makefile @@ -6,7 +6,7 @@ # PORTNAME= vera -PORTVERSION= 1.6 +PORTVERSION= 1.7 CATEGORIES= misc MASTER_SITES= ${MASTER_SITE_GNU} MASTER_SITE_SUBDIR= vera diff --git a/misc/vera/distinfo b/misc/vera/distinfo index 92b9737a95e9..1a747d75acb1 100644 --- a/misc/vera/distinfo +++ b/misc/vera/distinfo @@ -1 +1 @@ -MD5 (vera-1.6.tar.gz) = 3ad7fe02032f3ba0d69a60b5a66dbe4d +MD5 (vera-1.7.tar.gz) = 9f153c88f249a0b6a5ac2b00ed2fcc96 diff --git a/misc/vera/files/patch-aa b/misc/vera/files/patch-aa index 090c9a3ad1a4..4ec11ce83e7f 100644 --- a/misc/vera/files/patch-aa +++ b/misc/vera/files/patch-aa @@ -6,7 +6,7 @@ @settitle V.E.R.A@. --- Virtual Entity of Relevant Acronyms +@dircategory Miscellaneous +@direntry -+* VERA: (vera). A list dealing with computational acronyms. ++* VERA: (vera). A list dealing with computational acronyms. +@end direntry @setchapternewpage on @c %**end of header |