diff options
| -rw-r--r-- | devel/menhir/Makefile | 4 | ||||
| -rw-r--r-- | devel/menhir/distinfo | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile index 526d972744c2..9909d94a3f5b 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -1,9 +1,9 @@ PORTNAME= menhir -PORTVERSION= 20231231 +PORTVERSION= 20240715 CATEGORIES= devel MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/ -MAINTAINER= ports@FreeBSD.org +MAINTAINER= wen@FreeBSD.org COMMENT= LR(1) parser generator for OCaml WWW= http://cristal.inria.fr/~fpottier/menhir diff --git a/devel/menhir/distinfo b/devel/menhir/distinfo index 4930ba84d472..49999e0ebf39 100644 --- a/devel/menhir/distinfo +++ b/devel/menhir/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1710615133 -SHA256 (menhir-20231231.tar.bz2) = fb76a37b84e28acd3ecf58efea3abc8c7a9a70987a44915837e81093a7853d3a -SIZE (menhir-20231231.tar.bz2) = 1245465 +TIMESTAMP = 1746794376 +SHA256 (menhir-20240715.tar.bz2) = b986cfb9f30d4955e52387b37f56bc642b0be8962b1f64b134e878b30a3fe640 +SIZE (menhir-20240715.tar.bz2) = 1245971 |