Return to Makefile CVS log | Up to [cvs.NetBSD.org] / pkgsrc / lang / coq |
Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. |
version 1.83, 2015/09/07 12:02:05 | version 1.84, 2015/10/10 01:58:10 | ||
---|---|---|---|
|
|
||
DISTNAME= coq-8.4pl6 | DISTNAME= coq-8.4pl6 | ||
PKGNAME= ${DISTNAME} # to avoid prefixing with ocaml- | PKGNAME= ${DISTNAME} # to avoid prefixing with ocaml- | ||
PKGREVISION= 2 | PKGREVISION= 3 | ||
CATEGORIES= lang math | CATEGORIES= lang math | ||
MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ | MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ | ||