diff options
| author | jschauma <jschauma@pkgsrc.org> | 2009-01-23 21:14:16 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2009-01-23 21:14:16 +0000 |
| commit | fa12493431e08ce882f80c8c2f577139e320569f (patch) | |
| tree | f30e2c3519cc03dc984b0f5034ab83a000b668b2 /devel/pvs | |
| parent | e969de186ac08c313a88289fc5f9c10a46b44868 (diff) | |
| download | pkgsrc-fa12493431e08ce882f80c8c2f577139e320569f.tar.gz | |
Give up maintainership, as I have not so much as looked at pkgsrc in
well over a year now. Sorry. :-(
Diffstat (limited to 'devel/pvs')
| -rw-r--r-- | devel/pvs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index a97b35b0033..7b96136c464 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.37 2008/10/13 08:33:13 uebayasi Exp $ +# $NetBSD: Makefile,v 1.38 2009/01/23 21:14:18 jschauma Exp $ # DISTNAME= pvs-${VERSION} @@ -21,7 +21,7 @@ NO_SRC_ON_FTP= ${RESTRICTED} NO_BIN_ON_CDROM= ${RESTRICTED} NO_BIN_ON_FTP= ${RESTRICTED} -MAINTAINER= jschauma@NetBSD.org +MAINTAINER= pkgsrc-users@@NetBSD.org HOMEPAGE= http://pvs.csl.sri.com/ COMMENT= The PVS Specification and Verification System |