diff options
| author | jaapb <jaapb@pkgsrc.org> | 2021-03-08 08:12:45 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2021-03-08 08:12:45 +0000 |
| commit | ccdeb6b0b7d033bfa924ac001c20069477c66391 (patch) | |
| tree | d66216d51ef3acac4f2126542e80c3c299b16c72 /lang/coq/Makefile | |
| parent | 2accce5875057ad7f4fb653b9ef090b40c669ff1 (diff) | |
| download | pkgsrc-ccdeb6b0b7d033bfa924ac001c20069477c66391.tar.gz | |
Recursive revbump associated with update of lang/ocaml
Diffstat (limited to 'lang/coq/Makefile')
| -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 e5432fd0fd0..c17e18dbb4d 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.138 2021/02/09 22:38:30 dholland Exp $ +# $NetBSD: Makefile,v 1.139 2021/03/08 08:13:03 jaapb Exp $ # DISTNAME= coq-8.12.2 +PKGREVISION= 1 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} |