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 | d4d8988e1d6b6afec96171755112ef91a775d1bd (patch) | |
| tree | 6d2b15e667fdf835b1a2a833db8ea418d25a6da2 /lang/coq/Makefile | |
| parent | 150056eabdc0ccb406fe95a4b2333b65cbfc2a52 (diff) | |
| download | pkgsrc-d4d8988e1d6b6afec96171755112ef91a775d1bd.tar.gz | |
Recursive revbump associated with update of lang/ocaml to 4.02.2.
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 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/ |