diff --git a/Makefile b/Makefile
index 9f59739..3774689 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@
 # $FreeBSD: head/devel/menhir/Makefile 446039 2017-07-16 17:27:00Z ultima $
 
 PORTNAME=	menhir
-PORTVERSION=	20170607
+PORTVERSION=	20170712
 CATEGORIES=	devel
 MASTER_SITES=	http://cristal.inria.fr/~fpottier/menhir/
 
diff --git a/distinfo b/distinfo
index 325d0b0..af47281 100644
--- a/distinfo
+++ b/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