diff options
author | tnn <tnn@pkgsrc.org> | 2015-03-14 17:50:25 +0000 |
---|---|---|
committer | tnn <tnn@pkgsrc.org> | 2015-03-14 17:50:25 +0000 |
commit | d1e94366540365b1cb601e700a8084df17805301 (patch) | |
tree | 3fa3ecf079f42707516ba5976cabab27fc0fcc7b | |
parent | b3f66c80a1977f66e7a30942186325ac0ecc0f9a (diff) | |
download | pkgsrc-d1e94366540365b1cb601e700a8084df17805301.tar.gz |
master site is gone, add a mirror
-rw-r--r-- | devel/pvs/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index 77e3a73b52d..c1114d12ce8 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.47 2015/03/06 19:36:33 tnn Exp $ +# $NetBSD: Makefile,v 1.48 2015/03/14 17:50:25 tnn Exp $ # # This package is very outdated and should be built from sources @@ -11,6 +11,7 @@ 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} \ pvs-${VERSION}-system${EXTRACT_SUFX} \ |