diff options
| author | prlw1 <prlw1@pkgsrc.org> | 2018-11-29 11:21:45 +0000 |
|---|---|---|
| committer | prlw1 <prlw1@pkgsrc.org> | 2018-11-29 11:21:45 +0000 |
| commit | 4d2976b554e4759a10d730a28906c6e4919566bf (patch) | |
| tree | 9087605dad7c1519abf4bea98d09c6e3ecc65f55 /lang/coq | |
| parent | 49eca206bf3b19beab0d951c904d5b04adf0c830 (diff) | |
| download | pkgsrc-4d2976b554e4759a10d730a28906c6e4919566bf.tar.gz | |
Revbump for libcanberra gstreamer change.
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 1da856b045b..4d31eb1df79 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.115 2018/11/14 22:21:54 kleink Exp $ +# $NetBSD: Makefile,v 1.116 2018/11/29 11:21:52 prlw1 Exp $ # DISTNAME= coq-8.8.1 -PKGREVISION= 3 +PKGREVISION= 4 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV} |