diff options
| author | jaapb <jaapb@pkgsrc.org> | 2019-05-23 10:55:07 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2019-05-23 10:55:07 +0000 |
| commit | 7d1c4423653e60eca9389e68e9c8350e3edfbb9a (patch) | |
| tree | 9b30d82b7da33e954d7de08f07f4c443da6886d1 /lang/coq/Makefile | |
| parent | c40fc0d3505d1852c3c05f0e35a28bc4702076ec (diff) | |
| download | pkgsrc-7d1c4423653e60eca9389e68e9c8350e3edfbb9a.tar.gz | |
Updated lang/coq to version 8.9.1.
Main changes:
* some quality-of-life bug fixes,
* many improvements to the documentation,
* a critical bug fix related to primitive projections and native_compute,
* several additional Coq libraries shipped with the Windows installer.
Diffstat (limited to 'lang/coq/Makefile')
| -rw-r--r-- | lang/coq/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index e22cd8328d6..6c4335cc3cc 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,7 @@ -# $NetBSD: Makefile,v 1.121 2019/05/05 22:49:48 ryoon Exp $ +# $NetBSD: Makefile,v 1.122 2019/05/23 10:55:07 jaapb Exp $ # -DISTNAME= coq-8.9.0 -PKGREVISION= 3 +DISTNAME= coq-8.9.1 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} |