Page MenuHomeFreeBSD
Files F111368335

D11756.diff
No OneTemporary
Actions

D11756.diff
View Options

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

File Metadata

Mime Type
text/plain
Expires
Mon, Mar 3, 10:34 PM (10 h, 18 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
16955120
Default Alt Text
D11756.diff (845 B)

Event Timeline