Index: head/devel/menhir/Makefile
===================================================================
--- head/devel/menhir/Makefile
+++ head/devel/menhir/Makefile
@@ -2,7 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	menhir
-PORTVERSION=	20170607
+PORTVERSION=	20170712
 CATEGORIES=	devel
 MASTER_SITES=	http://cristal.inria.fr/~fpottier/menhir/
 
Index: head/devel/menhir/distinfo
===================================================================
--- head/devel/menhir/distinfo
+++ head/devel/menhir/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1499343319
-SHA256 (menhir-20170607.tar.gz) = 00caa66ed0d1544defda24539f2ca1d37b92120e0575aafc5fcabd8e5364ce61
-SIZE (menhir-20170607.tar.gz) = 796429
+TIMESTAMP = 1500460606
+SHA256 (menhir-20170712.tar.gz) = ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000
+SIZE (menhir-20170712.tar.gz) = 855262