diff options
author | wiz <wiz@pkgsrc.org> | 2018-04-17 22:29:31 +0000 |
---|---|---|
committer | wiz <wiz@pkgsrc.org> | 2018-04-17 22:29:31 +0000 |
commit | acf5fc5861164d1343e4f6d6e1d1382d21a190fb (patch) | |
tree | 109630925ee3175cb748b70c5ad849855a199a19 /lang/coq | |
parent | a9188c6dcb66ca852105aa221b5ea011af95f220 (diff) | |
download | pkgsrc-acf5fc5861164d1343e4f6d6e1d1382d21a190fb.tar.gz |
Add p11-kit to gnutls/bl3.mk and bump dependencies.
Diffstat (limited to 'lang/coq')
-rw-r--r-- | lang/coq/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 951176b5ad2..4e3f1114d81 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.109 2018/04/16 14:34:47 wiz Exp $ +# $NetBSD: Makefile,v 1.110 2018/04/17 22:29:40 wiz Exp $ # DISTNAME= coq-8.7.2 -PKGREVISION= 2 +PKGREVISION= 3 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV} |