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 | bcc08c600eb7011339ad7e004405295ceb50e62e (patch) | |
tree | 3ab591e1e3ac2a1999bb27717b96309058aa171c /lang/coq | |
parent | 0344f817220523e7caa7b83888b8535fb155a17b (diff) | |
download | pkgsrc-bcc08c600eb7011339ad7e004405295ceb50e62e.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/ |