svn commit: r446987 - head/devel/menhir

[Richard Gallamore]

Author: ultima
Date: Mon Jul 31 16:43:44 2017
New Revision: 446987
URL: https://svnweb.freebsd.org/changeset/ports/446987

Log:
  * Updated to 20170712
  
  Changelog: https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md
  
  PR:		220850
  Submitted by:	Jov <amutu at amutu.com> (maintainer)
  Reviewed by:	matthew (mentor)
  Approved by:	matthew (mentor)
  Differential Revision:	https://reviews.freebsd.org/D11756

Modified:
  head/devel/menhir/Makefile
  head/devel/menhir/distinfo

Modified: head/devel/menhir/Makefile
==============================================================================
--- head/devel/menhir/Makefile	Mon Jul 31 16:32:36 2017	(r446986)
+++ head/devel/menhir/Makefile	Mon Jul 31 16:43:44 2017	(r446987)
@@ -2,7 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	menhir
-PORTVERSION=	20170607
+PORTVERSION=	20170712
 CATEGORIES=	devel
 MASTER_SITES=	http://cristal.inria.fr/~fpottier/menhir/
 

Modified: head/devel/menhir/distinfo
==============================================================================
--- head/devel/menhir/distinfo	Mon Jul 31 16:32:36 2017	(r446986)
+++ head/devel/menhir/distinfo	Mon Jul 31 16:43:44 2017	(r446987)
@@ -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