diff options
| author | grant <grant@pkgsrc.org> | 2003-07-17 21:31:04 +0000 |
|---|---|---|
| committer | grant <grant@pkgsrc.org> | 2003-07-17 21:31:04 +0000 |
| commit | 4083b24390814eb42e008cc6920806e2d57eea1c (patch) | |
| tree | 0c33632bf5c3a779fe1548335374822548fe1fb7 /devel/pvs | |
| parent | 91f00f1cbc7c8da0ab83a0389a02496e55f8a468 (diff) | |
| download | pkgsrc-4083b24390814eb42e008cc6920806e2d57eea1c.tar.gz | |
s/netbsd.org/NetBSD.org/
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 9a0d0a1ea42..a2023b867a4 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.7 2003/06/25 21:01:35 seb Exp $ +# $NetBSD: Makefile,v 1.8 2003/07/17 21:33:16 grant Exp $ # DISTNAME= pvs-${VERSION} @@ -13,7 +13,7 @@ DISTFILES= ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \ pvs-${VERSION}-emacs19${EXTRACT_SUFX} \ pvs-${VERSION}-libraries${EXTRACT_SUFX} -MAINTAINER= jschauma@netbsd.org +MAINTAINER= jschauma@NetBSD.org HOMEPAGE= http://pvs.csl.sri.com/ COMMENT= The PVS Specification and Verification System |