diff options
Diffstat (limited to 'devel/menhir/Makefile')
| -rw-r--r-- | devel/menhir/Makefile | 4 |
1 files changed, 2 insertions, 2 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 |