diff options
author | leot <leot@pkgsrc.org> | 2020-08-17 20:19:01 +0000 |
---|---|---|
committer | leot <leot@pkgsrc.org> | 2020-08-17 20:19:01 +0000 |
commit | a8eeea619a5fe5ae07da17fbbe056d888a02067d (patch) | |
tree | 9feed5b26a19fa7ef26c3cfafec68760ac21d5b9 /lang/coq | |
parent | 2230662dbaf8dad816817932133be16b4360789f (diff) | |
download | pkgsrc-a8eeea619a5fe5ae07da17fbbe056d888a02067d.tar.gz |
*: revbump after fontconfig bl3 changes (libuuid removal)
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 9367b25c65d..3b25368a6e3 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.134 2020/06/02 08:24:12 adam Exp $ +# $NetBSD: Makefile,v 1.135 2020/08/17 20:19:20 leot Exp $ # DISTNAME= coq-8.10.2 -PKGREVISION= 4 +PKGREVISION= 5 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} |