diff options
| author | ultima <ultima@FreeBSD.org> | 2017-08-01 00:43:44 +0800 |
|---|---|---|
| committer | Koop Mast <kwm@rainbow-runner.nl> | 2018-02-04 05:16:30 +0800 |
| commit | b9a7882c9df5baf9aed881161efeeadfdace82c0 (patch) | |
| tree | 6f030c8a728d4e9820508ebd08003093b9ba194b | |
| parent | 35a74cafd54ccc7bbf17bcfa4e566f4e56f8181c (diff) | |
| download | freebsd-ports-gnome-b9a7882c9df5baf9aed881161efeeadfdace82c0.tar.gz freebsd-ports-gnome-b9a7882c9df5baf9aed881161efeeadfdace82c0.tar.zst freebsd-ports-gnome-b9a7882c9df5baf9aed881161efeeadfdace82c0.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 |