![[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.121, 2019/05/05 22:49:48 | version 1.122, 2019/05/23 10:55:07 | ||
|---|---|---|---|
|
|
||
| # $NetBSD$ | # $NetBSD$ | ||
| # | # | ||
| DISTNAME= coq-8.9.0 | DISTNAME= coq-8.9.1 | ||
| 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:S/_/+/} | GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} |