diff options
| author | ryoon <ryoon@pkgsrc.org> | 2019-04-03 00:32:25 +0000 |
|---|---|---|
| committer | ryoon <ryoon@pkgsrc.org> | 2019-04-03 00:32:25 +0000 |
| commit | 23d86e66cccf6d9cf73fe21550f9eb7cb32812ff (patch) | |
| tree | 9aea9254d6b44f29a00cc08cd5f105100694ee14 /lang/coq | |
| parent | fec2a4753ad0cb8dfccd38b7b8d14dcc8dd1c396 (diff) | |
| download | pkgsrc-23d86e66cccf6d9cf73fe21550f9eb7cb32812ff.tar.gz | |
Recursive revbump from textproc/icu
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 9023402f769..6442454c31e 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.118 2019/03/06 09:28:23 jaapb Exp $ +# $NetBSD: Makefile,v 1.119 2019/04/03 00:32:49 ryoon Exp $ # DISTNAME= coq-8.9.0 +PKGREVISION= 1 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} |