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 | c350dff76df031d48019f18a5bf53e6769acf41b (patch) | |
| tree | 2a32cda274629cecb92f89a52dd9067230edd096 /lang/coq | |
| parent | 255ef792b2b06932342cb2871e38c08509382c59 (diff) | |
| download | pkgsrc-c350dff76df031d48019f18a5bf53e6769acf41b.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/ |