CVS commit: pkgsrc/devel/pvs

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Wed Apr 21 08:27:24 UTC 2021

Modified Files:
        pkgsrc/devel/pvs: Makefile

Log Message:
pvs: remove dead master site


To generate a diff of this commit:
cvs rdiff -u -r1.49 -r1.50 pkgsrc/devel/pvs/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/pvs/Makefile
diff -u pkgsrc/devel/pvs/Makefile:1.49 pkgsrc/devel/pvs/Makefile:1.50
--- pkgsrc/devel/pvs/Makefile:1.49      Sun Jan 26 17:31:02 2020
+++ pkgsrc/devel/pvs/Makefile   Wed Apr 21 08:27:24 2021
@@ -1,6 +1,5 @@
-# $NetBSD: Makefile,v 1.49 2020/01/26 17:31:02 rillig Exp $
+# $NetBSD: Makefile,v 1.50 2021/04/21 08:27:24 wiz Exp $
 #
-
 # This package is very outdated and should be built from sources
 # rather than using Linux binaries.
 #
@@ -10,7 +9,6 @@ DISTNAME=              pvs-${VERSION}
 PKGNAME=               ${EMACS_PKGNAME_PREFIX}${DISTNAME}
 PKGREVISION=           4
 CATEGORIES=            devel lang
-MASTER_SITES=          ftp://ftp.csl.sri.com/pub/pvs/pvs${VERSION}/
 MASTER_SITES+=         http://ftp.lip6.fr/pub/pvs/pvs3.2/
 EXTRACT_SUFX=          .tgz
 DISTFILES=             ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \