diff options
| author | Richard Gallamore <ultima@FreeBSD.org> | 2017-08-01 00:43:44 +0800 |
|---|---|---|
| committer | Richard Gallamore <ultima@FreeBSD.org> | 2017-08-01 00:43:44 +0800 |
| commit | 2c262197b5661244bf74ddffc77f0d2efbfd6611 (patch) | |
| tree | f3e9cd0b7cbbd283dbd5f0793ea89897e6fe42c6 | |
| parent | 4933e4626f9d55e6608f6e0d5cf59b86ff32d949 (diff) | |
| download | freebsd-ports-gnome-2c262197b5661244bf74ddffc77f0d2efbfd6611.tar.gz freebsd-ports-gnome-2c262197b5661244bf74ddffc77f0d2efbfd6611.tar.zst freebsd-ports-gnome-2c262197b5661244bf74ddffc77f0d2efbfd6611.zip | |
* Updated to 20170712
Changelog: https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md
PR: 220850
Submitted by: Jov <amutu@amutu.com> (maintainer)
Reviewed by: matthew (mentor)
Approved by: matthew (mentor)
Differential Revision: https://reviews.freebsd.org/D11756
| -rw-r--r-- | devel/menhir/Makefile | 2 | ||||
| -rw-r--r-- | devel/menhir/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile index 28dac9cac9e5..059786446077 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= menhir -PORTVERSION= 20170607 +PORTVERSION= 20170712 CATEGORIES= devel MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/ diff --git a/devel/menhir/distinfo b/devel/menhir/distinfo index 325d0b081b58..af472811c992 100644 --- a/devel/menhir/distinfo +++ b/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 |