diff options
| author | kleink <kleink@pkgsrc.org> | 2018-11-14 22:20:58 +0000 |
|---|---|---|
| committer | kleink <kleink@pkgsrc.org> | 2018-11-14 22:20:58 +0000 |
| commit | d1a354ac1990f29f535656efbdbf2842442e2d96 (patch) | |
| tree | 466cae9496590959c8dc5e9d9acacf771b5eab6f /lang/coq | |
| parent | 86ebd5aa5b10ee4c95ba46bd6a3b30ffcb9aa638 (diff) | |
| download | pkgsrc-d1a354ac1990f29f535656efbdbf2842442e2d96.tar.gz | |
Revbump after cairo 1.16.0 update.
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 8dd44b985f4..1da856b045b 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.114 2018/11/12 03:52:26 ryoon Exp $ +# $NetBSD: Makefile,v 1.115 2018/11/14 22:21:54 kleink Exp $ # DISTNAME= coq-8.8.1 -PKGREVISION= 2 +PKGREVISION= 3 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV} |