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 5188a16a1ca..fb8989e8803 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.15 2016/02/06 12:10:33 jaapb Exp $ +# $NetBSD: Makefile,v 1.16 2016/05/05 11:45:37 jaapb Exp $ # DISTNAME= menhir-20140422 -PKGREVISION= 2 +PKGREVISION= 3 CATEGORIES= devel MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/ |