diff options
| author | wiz <wiz@pkgsrc.org> | 2013-01-29 05:46:42 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2013-01-29 05:46:42 +0000 |
| commit | 4670844a131c1ed8ebe1a477f0f5fbd8e5ecc57b (patch) | |
| tree | 2a32cda274629cecb92f89a52dd9067230edd096 /lang/coq | |
| parent | 6d38c68094a9cd95a8c2e5d5cdb083e87d781ef9 (diff) | |
| download | pkgsrc-4670844a131c1ed8ebe1a477f0f5fbd8e5ecc57b.tar.gz | |
Fix MASTER_SITES.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 3dc972c9276..4aea375996d 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,10 +1,10 @@ -# $NetBSD: Makefile,v 1.55 2013/01/26 21:38:05 adam Exp $ +# $NetBSD: Makefile,v 1.56 2013/01/29 05:46:42 wiz Exp $ # DISTNAME= coq-8.4pl1 PKGREVISION= 1 CATEGORIES= lang math -MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION}/files/ +MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ MAINTAINER= jaapb@NetBSD.org HOMEPAGE= http://coq.inria.fr/ |