diff options
| author | jaapb <jaapb@pkgsrc.org> | 2017-07-11 14:19:18 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2017-07-11 14:19:18 +0000 |
| commit | b65b2f171edd8b6ed24ea0fd96b81c3aab32160d (patch) | |
| tree | 02766467d423772362c4bffda07a284fa71960a4 /lang/coq | |
| parent | 4880831d51795e87cf943b7d8626e2b740c8e53b (diff) | |
| download | pkgsrc-b65b2f171edd8b6ed24ea0fd96b81c3aab32160d.tar.gz | |
Revbump associated with ocaml-4.04.2
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 6e9b6e0fd4b..288f4ec367c 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.97 2017/04/22 21:03:40 adam Exp $ +# $NetBSD: Makefile,v 1.98 2017/07/11 14:19:20 jaapb Exp $ # DISTNAME= coq-8.6 -PKGREVISION= 3 +PKGREVISION= 4 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ |