Received: by mail.netbsd.org (Postfix, from userid 605) id 4FAEC84D81; Wed, 21 Apr 2021 08:27:26 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 8A77984D2C for ; Wed, 21 Apr 2021 08:27:25 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.netbsd.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id Qe7mO_wn30UN for ; Wed, 21 Apr 2021 08:27:25 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.NetBSD.org [IPv6:2001:470:a085:999:28c:faff:fe03:5984]) by mail.netbsd.org (Postfix) with ESMTP id E357D84D21 for ; Wed, 21 Apr 2021 08:27:24 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id DA843FA95; Wed, 21 Apr 2021 08:27:24 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_161899364438160" MIME-Version: 1.0 Date: Wed, 21 Apr 2021 08:27:24 +0000 From: "Thomas Klausner" Subject: CVS commit: pkgsrc/devel/pvs To: pkgsrc-changes@NetBSD.org Reply-To: wiz@netbsd.org X-Mailer: log_accum Message-Id: <20210421082724.DA843FA95@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_161899364438160 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" 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. --_----------=_161899364438160 Content-Disposition: inline Content-Length: 804 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii 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} \ --_----------=_161899364438160--