pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/pvs pvs: remove dead master site
details: https://anonhg.NetBSD.org/pkgsrc/rev/f8813f60a16f
branches: trunk
changeset: 450715:f8813f60a16f
user: wiz <wiz%pkgsrc.org@localhost>
date: Wed Apr 21 08:27:24 2021 +0000
description:
pvs: remove dead master site
diffstat:
devel/pvs/Makefile | 4 +---
1 files changed, 1 insertions(+), 3 deletions(-)
diffs (19 lines):
diff -r 6cca8e707969 -r f8813f60a16f devel/pvs/Makefile
--- a/devel/pvs/Makefile Wed Apr 21 08:26:08 2021 +0000
+++ b/devel/pvs/Makefile Wed Apr 21 08:27:24 2021 +0000
@@ -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 @@
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} \
Home |
Main Index |
Thread Index |
Old Index