diff options
author | jaapb <jaapb@pkgsrc.org> | 2015-06-30 11:52:55 +0000 |
---|---|---|
committer | jaapb <jaapb@pkgsrc.org> | 2015-06-30 11:52:55 +0000 |
commit | b8fca8e9b7fcee2c50b2bc88492f9af9022a6fa9 (patch) | |
tree | 6d2b15e667fdf835b1a2a833db8ea418d25a6da2 /lang/coq | |
parent | 4566eed805ada0fd09786158107abeaf56addd53 (diff) | |
download | pkgsrc-b8fca8e9b7fcee2c50b2bc88492f9af9022a6fa9.tar.gz |
Recursive revbump associated with update of lang/ocaml to 4.02.2.
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 e3caf1c4800..e83a0e91262 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,9 @@ -# $NetBSD: Makefile,v 1.80 2015/04/25 13:41:18 jaapb Exp $ +# $NetBSD: Makefile,v 1.81 2015/06/30 11:53:00 jaapb Exp $ # DISTNAME= coq-8.4pl6 PKGNAME= ${DISTNAME} # to avoid prefixing with ocaml- +PKGREVISION= 1 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ |