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.114, 2018/11/12 03:52:26 | version 1.115, 2018/11/14 22:21:54 | ||
---|---|---|---|
|
|
||
# | # | ||
DISTNAME= coq-8.8.1 | DISTNAME= coq-8.8.1 | ||
PKGREVISION= 2 | PKGREVISION= 3 | ||
CATEGORIES= lang math | CATEGORIES= lang math | ||
MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} | MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} | ||
GITHUB_TAG= V${PKGVERSION_NOREV} | GITHUB_TAG= V${PKGVERSION_NOREV} |