![[BACK]](/icons/back.gif){kind=icon}
Return to Makefile CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [cvs.NetBSD.org] / pkgsrc / lang / coq|
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/ | ||