diff options
Diffstat (limited to 'devel/menhir/Makefile')
-rw-r--r-- | devel/menhir/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile index 3f3a376dc4e..96ee891e238 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.13 2014/10/13 12:03:15 jaapb Exp $ +# $NetBSD: Makefile,v 1.14 2015/06/30 11:52:56 jaapb Exp $ # PKGNAME= ${DISTNAME} # defined to avoid prefixing with ocaml- DISTNAME= menhir-20140422 -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= devel MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/ |