![[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.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} |