diff options
| author | jperkin <jperkin@pkgsrc.org> | 2020-01-18 21:48:19 +0000 |
|---|---|---|
| committer | jperkin <jperkin@pkgsrc.org> | 2020-01-18 21:48:19 +0000 |
| commit | 8930f4c9f76a4da06832827313f3853309f92baf (patch) | |
| tree | b6671be53112553f1e25eff8038b7dc0ee2de487 /lang/coq | |
| parent | f25cc17ec50129558631c35feef93abaebaaf5db (diff) | |
| download | pkgsrc-8930f4c9f76a4da06832827313f3853309f92baf.tar.gz | |
*: Recursive revision bump for openssl 1.1.1.
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 30dc15d8a7c..75c49bddf3a 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.126 2019/11/03 19:03:57 rillig Exp $ +# $NetBSD: Makefile,v 1.127 2020/01/18 21:49:42 jperkin Exp $ # DISTNAME= coq-8.9.1 -PKGREVISION= 3 +PKGREVISION= 4 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} |